R. Alur, A. Kanade, K. C. Ramesh, and . Shashidhar, Symbolic analysis for improving simulation coverage of simulink/stateflow models, Proceedings of the 8th ACM international conference on Embedded software, pp.89-98, 2008.

P. E. Paul-e-ammann, W. Black, and . Majurski, Using model checking to generate tests from specifications, Proceedings. Second International Conference on, pp.46-54, 1998.

S. M. Armstrong, A. O. Freier, and K. A. Marzullo, Multicast transport protocol, RFC, vol.1301, pp.1-38, 1992.

M. Arnaud, B. Bannour, and A. Lapitre, An illustrative use case of the diversity platform based on uml interaction scenarios, Electronic Notes in Theoretical Computer Science, vol.320, pp.21-34, 2016.
URL : https://hal.archives-ouvertes.fr/cea-01810989

M. Arnaud, B. Bannour, and A. Lapitre, An illustrative use case of the DIVERSITY platform based on UML interaction scenarios, Electr. Notes Theor. Comput. Sci, vol.320, pp.21-34, 2016.
URL : https://hal.archives-ouvertes.fr/cea-01810989

B. Bannour, C. Gaston, and D. Servat, Eliciting unitary constraints from timed sequence diagram with symbolic techniques: application to testing, 18th APSEC. IEEE, 2011.

B. Bannour, J. P. Escobedo, C. Gaston, and P. L. Gall, Off-line test case generation for timed symbolic model-based conformance testing, ICTSS, pp.119-135, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01482398

C. Barrett, L. Christopher, M. Conway, L. Deters, D. Hadarean et al., International Conference on Computer Aided Verification, pp.171-177, 2011.

C. Barrett, C. L. Conway, M. Deters, L. Hadarean, D. Jovanovi? et al., Proceedings of the 23rd International Conference on Computer Aided Verification, CAV'11, pp.171-177, 2011.

C. Barrett, A. Stump, and C. Tinelli, The smt-lib standard: Version 2.0, Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, vol.13, p.14, 2010.

W. Clark, R. Barrett, . Sebastiani, A. Sanjit, C. Seshia et al., Satisfiability modulo theories. Handbook of satisfiability, vol.185, pp.825-885, 2009.

N. Benharrat, C. Gaston, M. Robert, A. Hierons, P. L. Lapitre et al., Constraint-based oracles for timed distributed systems, IFIP International Conference on Testing Software and Systems, pp.276-292, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01678964

A. Biere, M. Heule, and H. Van-maaren, Handbook of satisfiability, vol.185, 2009.

. Laura-brandan and . Briones, Theories for model-based testing: Real-time and coverage, 2007.

A. Bundy and L. Wallen, Breadth-first search, Catalogue of Artificial Intelligence Tools, pp.13-13, 1984.

T. H. Tsong-yueh-chen, Z. Tse, and . Zhou, Semi-proving: an integrated method based on global symbolic evaluation and metamorphic testing, ACM SIGSOFT Software Engineering Notes, vol.27, issue.4, pp.191-195, 2002.

Y. Choi, H. Youn, S. Seol, and S. Yoo, Distributed test using logical clock, Formal Techniques for Networked and Distributed Systems, pp.69-84

. Springer, , 2002.

L. A. Clarke, A system to generate test data and symbolically execute programs, IEEE Trans. Softw. Eng, vol.2, issue.3, pp.215-222, 1976.

A. Coen-porisini, G. Denaro, C. Ghezzi, and M. Pezzé, Using symbolic execution for verifying safety-critical systems, SIGSOFT Softw. Eng. Notes, vol.26, issue.5, pp.142-151, 2001.

F. George, J. Coulouris, T. Dollimore, and . Kindberg, Distributed systems: concepts and design. pearson education, 2005.

J. Crowcroft and K. Paliwoda, A multicast transport protocol, SIGCOMM '88, Proceedings of the ACM Symposium on Communications Architectures and Protocols, pp.247-256, 1988.

A. John, J. Darringer, and . King, Applications of symbolic execution to program testing, Computer, vol.11, issue.4, pp.51-60, 1978.

A. David, G. Kim, M. Larsen, and . Miku?ionis, Omer L Nguena Timo, and Antoine Rollet. Remote testing of timed specifications, IFIP International Conference on Testing Software and Systems, pp.65-81, 2013.

S. Hernán-ponce-de-león, D. Haar, and . Longuet, Conformance relations for labeled event structures, TAP, pp.83-98, 2012.

L. De-moura and N. Bjørner, Z3: An efficient smt solver. Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008.

L. De-moura and N. Bjørner, Z3: An efficient smt solver, Proceedings of the Theory and Practice of Software, 14th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, TACAS'08/ETAPS'08, pp.337-340, 2008.

, Eclipse Formal Modeling Project (DIVERSITY) web site, pp.2017-2026

B. Dutertre, Yices 2.2, ComputerAided Verification (CAV'2014), vol.8559, pp.737-744, 2014.

B. Dutertre and L. D. Moura, The yices smt solver, vol.2, pp.1-2, 2006.

J. A. Ik-el-far and . Whittaker, Model-based software testing. encyclopedia of software engineering, 2001.

J. P. Escobedo, C. Gaston, P. L. Gall, and A. Cavalli, Testing web service orchestrators in context: A symbolic approach, Software Engineering and Formal Methods (SEFM), pp.257-267, 2010.
URL : https://hal.archives-ouvertes.fr/hal-01306744

J. P. Escobedo, C. Gaston, and P. L. Gall, Timed Conformance Testing for Orchestrated Service Discovery, Proc. of Int. Conf. Formal Aspects of. Component Software (FACS), 2011.

C. Fidge, Timestamps in message-passing systems that preserve the partial ordering, Australian Computer Science Communications, vol.10, issue.1, pp.56-66, 1988.

C. Fidge, Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 1991.

. Behrouz-a-forouzan, TCP/IP protocol suite, 2002.

L. Frantzen, J. Tretmans, and T. Willemse, Test generation based on symbolic specifications, International Workshop on Formal Approaches to Software Testing, pp.1-15, 2004.

C. Gaston, M. Robert, P. L. Hierons, and . Gall, An implementation relation and test framework for timed distributed systems, IFIP International Conference on Testing Software and Systems, pp.82-97, 2013.
URL : https://hal.archives-ouvertes.fr/cea-01810746

C. Gaston, P. L. Gall, N. Rapin, and A. Touil, Symbolic execution techniques for test purpose definition, TestCom, vol.3964, pp.1-18, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342082

S. Ghosh and A. P. Mathur, Issues in testing distributed component-based systems, First ICSE workshop on testing distributed component-based systems, pp.211-220, 1999.

C. Vehbi, D. Gungor, T. Sahin, S. Kocak, C. Ergut et al., Smart grid technologies: Communication technologies and standards, IEEE transactions on Industrial informatics, vol.7, issue.4, pp.529-539, 2011.

R. Gusella and S. Zatti, The accuracy of the clock synchronization achieved by tempo in berkeley unix 4.3 bsd, IEEE transactions on Software Engineering, vol.15, issue.7, pp.847-853, 1989.

D. Harel, Statecharts: A visual formalism for complex systems, Science of computer programming, vol.8, issue.3, pp.231-274, 1987.

A. Hessel, G. Kim, M. Larsen, B. Mikucionis, P. Nielsen et al., Testing real-time systems using uppaal, Formal methods and testing, pp.77-117, 2008.

M. Robert, M. G. Hierons, M. Merayo, and . Núnez, Using time to add order to distributed testing, FM, pp.232-246, 2012.

W. E. Howden, Weak mutation testing and completeness of test sets, IEEE Transactions on Software Engineering, SE, vol.8, issue.4, pp.371-379, 1982.

C. Jard, T. Jéron, L. Tanguy, and C. Viho, Remote testing can be as powerful as local testing, Formal Methods for Protocol Engineering and Distributed Systems, pp.25-40, 1999.

Y. Jia and M. Harman, An analysis and survey of the development of mutation testing, IEEE transactions on software engineering, vol.37, issue.5, pp.649-678, 2011.

G. John, J. L. Kemeny, and . Snell, Finite markov chains, vol.356, 1960.

F. Mohd-ehmer-khan and . Khan, A comparative study of white box, black box and grey box testing techniques, International Journal of Advanced Computer Sciences and Applications, vol.3, issue.6, pp.12-13, 2012.

S. Khurshid, C. S. P?s?reanu, and W. Visser, Generalized symbolic execution for model checking and testing, International Conference on Tools and Algorithms for the Construction and Analysis of Systems, pp.553-568, 2003.

M. Kim, J. Shin, S. Samuel-t-chanson, and . Kang, An approach for testing asynchronous communicating systems, IEICE transactions on communications, vol.82, issue.1, pp.81-95, 1999.

M. Kim, J. Shin, S. Samuel-t-chanson, and . Kang, An enhanced model for testing asynchronous communicating systems, In Formal Methods for Protocol Engineering and Distributed Systems, pp.337-356, 1999.

J. C. King, A new approach to program testing, SIGPLAN Not, vol.10, issue.6, pp.228-233, 1975.

C. James and . King, Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976.

N. Kim, J. King, and . Offutt, A fortran language system for mutation-based software testing. Software: Practice and Experience, vol.21, pp.685-718, 1991.

H. Kopetz and W. Ochsenreiter, Clock synchronization in distributed real-time systems, IEEE Trans. Comput, vol.36, issue.8, pp.933-940, 1987.

M. Krichen, A formal framework for black-box conformance testing of distributed real-time systems, Int. Journal of Critical Computer-Based Systems, vol.3, issue.1, pp.26-43, 2012.

M. Krichen and S. Tripakis, Black-box time systems, Proc. of Int. SPIN Workshop Model Checking of Software, 2004.

M. Krichen, A formal framework for conformance testing of distributed real-time systems, International Conference On Principles Of Distributed Systems, pp.139-142, 2010.

M. Krichen and S. Tripakis, Black-box conformance testing for real-time systems, SPIN, vol.2989, pp.109-126, 2004.

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Formal Methods in System Design, vol.34, issue.3, pp.238-304, 2009.

M. Krichen and S. Tripakis, Conformance testing for real-time systems, Form. Methods Syst. Des, vol.34, issue.3, pp.238-304, 2009.

F. James, K. Kurose, and . Ross, Computer networking: a top-down approach, vol.4, 2009.

M. Kuzlu, M. Pipattanasomporn, and S. Rahman, Communication network requirements for major smart grid applications in han, nan and wan, Computer Networks, vol.67, pp.74-88, 2014.

L. Lamport, Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978.

F. Mattern, Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, vol.1, issue.23, pp.215-226, 1989.

P. Mcdaniel and S. Mclaughlin, Security and privacy challenges in the smart grid, IEEE Security & Privacy, vol.7, issue.3, 2009.

J. Glenford, C. Myers, T. Sandler, and . Badgett, The art of software testing, 2011.

R. Nilsson, J. Offutt, and J. Mellin, Test case generation for mutation-based testing of timeliness, Electronic Notes in Theoretical Computer Science, vol.164, issue.4, pp.97-114, 2006.

K. Obraczka, Multicast transport protocols: a survey and taxonomy, IEEE Communications magazine, vol.36, issue.1, pp.94-102, 1998.

A. Petrenko and N. Yevtushenko, Testing from partial deterministic fsm specifications, IEEE Transactions on Computers, vol.54, issue.9, pp.1154-1165, 2005.

H. Ponce-de-león, S. Haar, and D. Longuet, Distributed testing of concurrent systems: vector clocks to the rescue, International Colloquium on Theoretical Aspects of Computing, pp.369-387, 2014.

W. Prenninger and A. Pretschner, Abstractions for model-based testing. Electronic Notes in Theoretical Computer Science, vol.116, pp.59-71, 2005.

O. Puolitaival, Model-based testing tools. Presentation at Software Testing Day at TUT, 2008.

C. V. Ramamoorthy, S. B. Ho, and W. T. Chen, On the automated generation of program test data, IEEE Transactions on Software Engineering, SE, vol.2, issue.4, pp.293-300, 1976.

W. Reisig, Petri nets: an introduction, volume 4 of eatcs monographs on theoretical computer science, 1985.

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

J. Rumbaugh, I. Jacobson, and G. Booch, Unified modeling language reference manual, the. Pearson Higher Education, 2004.

H. Laxman, B. Sahasrabuddhe, and . Mukherjee, Multicast routing algorithms and protocols: A tutorial, IEEE network, vol.14, issue.1, pp.90-102, 2000.

A. Saifan and J. Dingel, Model-based testing of distributed systems. School of Computing Queen's University Canada, 2008.

J. Schmaltz and J. Tretmans, On conformance testing for timed systems. Formal Modeling and Analysis of Timed Systems, pp.250-264, 2008.

I. Sommerville and P. Sawyer, Requirements engineering: a good practice guide, 1997.

S. Andrew, M. Tanenbaum, and . Van-steen, Distributed systems: principles and paradigms, 2007.

R. Tarjan, Depth-first search and linear graph algorithms, SIAM journal on computing, vol.1, issue.2, pp.146-160, 1972.

J. Tretmans, Conformance testing with labelled transition systems: Implementation relations and test generation, vol.29, pp.49-79, 1996.

J. Tretmans, Test Generation with Inputs, Outputs and Repetitive Quiescence, Centre for Telematics and Information Technology (CTIT), pp.96-122, 1996.

J. Tretmans, Model Based Testing with Labelled Transition Systems, pp.1-38, 2008.

E. Tsang, Foundations of constraint satisfaction: the classic text. BoD-Books on Demand, 2014.

M. Utting, B. Legeard, A. Pretschner, . University, and . Waikato, Department of Computer Science. A Taxonomy of Model-based Testing. Working paper series, 2006.

M. Utting and B. Legeard, Practical model-based testing: a tools approach, 2010.

M. E. Vieira, M. S. Dias, and D. J. Richardson, Object-oriented specificationbased testing using uml statechart diagrams, Proceedings of the Workshop on Automated Program Analysis, Testing, and Verification (at ICSE'00), 2000.

S. Weißleder, Test models and coverage criteria for automatic model-based test generation with UML state machines, 2010.

T. Xie, D. Marinov, W. Schulte, and D. Notkin, Symstra: A framework for generating object-oriented unit tests using symbolic execution, TACAS, vol.3440, pp.365-381, 2005.

P. Zimmerer, Test architectures for testing distributed systems, 12th International software quality week (QW 99), 1999.