B. Bannour, J. P. Escobedo, C. Gaston, and P. L. Gall, Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing, Proc. of Int. Conf. of Testing Software and Systems, pp.119-135, 2012.
DOI : 10.1007/978-3-642-34691-0_10
URL : https://hal.archives-ouvertes.fr/hal-01482398

E. Brinksma, L. Heerink, and J. Tretmans, Factorized test generation for multiinput/output transition systems, Testing Communicating Systems (IWTCS), volume 131 of IFIP Conference Proceedings, pp.67-82, 1998.
DOI : 10.1007/978-0-387-35381-4_5

D. Clarke, T. Jéron, V. Rusu, and E. Zinovieva, STG: A Symbolic Test Generation Tool, Int. Conf. on Tools and Algorithms for Construction and Analysis of Systems, volume 2280 of Lecture Notes in Computer Science, 2002.
DOI : 10.1007/3-540-46002-0_34

B. Dutertre, Yices??2.2, Computer-Aided Verification, pp.737-744, 2014.
DOI : 10.1007/978-3-319-08867-9_49

C. Gaston, R. M. Hierons, and P. L. Gall, An Implementation Relation and Test Framework for Timed Distributed Systems, Proc. of Int. Conf. of Testing Software and Systems, pp.82-97, 2013.
DOI : 10.1109/SEFM.2010.30
URL : https://hal.archives-ouvertes.fr/hal-01110751

A. Gotlieb, Constraint-Based Testing, pp.67-101, 2015.
DOI : 10.1016/bs.adcom.2015.05.002
URL : https://hal.archives-ouvertes.fr/hal-00180513

W. Grieskamp, N. Kicillof, K. Stobie, and V. Braberman, Model-based quality assurance of protocol documentation: tools and methodology. The Journal of Software Testing, Verification and Reliability, pp.55-71, 2011.

R. M. Hierons, M. G. Merayo, and M. Núñez, Implementation Relations for the Distributed Test Architecture, pp.200-215, 2008.
DOI : 10.1007/978-3-540-73066-8_12

R. M. Hierons, M. G. Merayo, and M. Núñez, Using Time to Add Order to Distributed Testing, pp.232-246, 2012.
DOI : 10.1007/978-3-642-32759-9_20

G. Jourdan, H. Ural, H. Yenigün, and D. Zhu, Using a SAT solver to generate checking sequences, 2009 24th International Symposium on Computer and Information Sciences, pp.549-554, 2009.
DOI : 10.1109/ISCIS.2009.5291883
URL : https://research.sabanciuniv.edu/12802/1/using.pdf

M. Krichen, A formal framework for black-box conformance testing of distributed real-time systems, International Journal of Critical Computer-Based Systems, vol.3, issue.1/2, pp.26-43, 2012.
DOI : 10.1504/IJCCBS.2012.045075

M. Krichen and S. Tripakis, Black-Box Conformance Testing for Real-Time Systems, Proc. of Int. SPIN Workshop Model Checking of Software, pp.109-126, 2004.
DOI : 10.1007/978-3-540-24732-6_8

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009.
DOI : 10.1007/BFb0020947

H. N. Nguyen, F. Za¨?diza¨?di, and A. R. Cavalli, A Framework for Distributed Testing of Timed Composite Systems, 2014 21st Asia-Pacific Software Engineering Conference, pp.47-54, 2014.
DOI : 10.1109/APSEC.2014.16

A. Petrenko and N. Yevtushenko, Testing from Partial Deterministic FSM Specifications, IEEE Transactions on Computers, vol.54, issue.9, 2005.
DOI : 10.1109/TC.2005.152

E. Int and . Report, Investigation on how to integrate Diversity (MBT tool) and Titan (TTCN-3 executor) to provide an open source MBT tool chain, pp.2016-2024

B. Sarikaya and G. Von-bochmann, Synchronization and Specification Issues in Protocol Testing, IEEE Transactions on Communications, vol.32, issue.4, pp.389-395, 1984.
DOI : 10.1109/TCOM.1984.1096074

J. Schmaltz and J. Tretmans, On Conformance Testing for Timed Systems, pp.250-264, 2008.
DOI : 10.1007/978-3-540-85778-5_18

J. Tretmans, Formal methods and testing. chapter Model Based Testing with Labelled Transition Systems, pp.1-38, 2008.

J. Vain, E. Halling, G. Kanter, A. Anier, and D. Pal, Automatic distribution of local testers for testing distributed systems, Databases and Information Systems IX -12th Int. Baltic Conf, pp.297-310, 2016.