, any event produced by the LUT (either a reaction or an observation of a delay) must be specified in the reference model

W. L. Andrade, Abstracting Time and Data for Conformance Testing of Real-Time Systems, 2011 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, pp.9-17, 2011.
URL : https://hal.archives-ouvertes.fr/hal-00646089

É. André, Observer Patterns for Real-Time Systems, 2013 18th International Conference on Engineering of Complex Computer Systems, pp.125-134, 2013.

M. Arnaud, B. Bannour, and A. Lapitre, An Illustrative Use Case of the DIVER-SITY Platform based on UML Interaction Scenarios, In: Electr. Notes Theor. Comput. Sci, vol.320, pp.21-34, 2016.

B. Bannour, C. Gaston, and D. Servat, Eliciting Unitary Constraints from Timed Sequence Diagram with Symbolic Techniques: Application to Testing, 18th Asia Pacific Software Engineering Conference, APSEC 2011, Ho Chi Minh, pp.219-226, 2011.

B. Bannour, Off-Line Test Case Generation for Timed Symbolic Model-Based Conformance Testing, Testing Software and Systems -24th IFIP WG 6.1 International Conference, ICTSS 2012, pp.119-135, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01482398

C. Barrett, CVC4, Proceedings of the 23rd International Conference on Computer Aided Verification. CAV'11, pp.171-177, 2011.

R. Barták, M. A. Salido, and F. Rossi, Constraint satisfaction techniques in planning and scheduling, Journal of Intelligent Manufacturing, vol.21, pp.1572-8145, 2010.

G. Behrmann, Lower and upper bounds in zone-based abstractions of timed automata, International Journal on Software Tools for Technology Transfer, vol.8, issue.3, pp.1433-2787, 2006.

A. Belinfante, JTorX: A Tool for On-Line Model-Driven Test Derivation and Execution". In: Tools and Algorithms for the Construction and Analysis of Systems, pp.978-981, 2010.

N. Benharrat, Constraint-Based Oracles for Timed Distributed Systems, Testing Software and Systems -29th IFIP WG 6.1 International Conference, pp.276-292, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01678964

H. Bohnenkamp and A. Belinfante, Timed Testing with TorX, FM 2005: Formal Methods, pp.978-981, 2005.

A. Bron, Applications of Synchronization Coverage, Proceedings of the Tenth ACM SIG-PLAN Symposium on Principles and Practice of Parallel Programming. PPoPP '05, pp.206-212, 2005.

F. Kalou-cabrera-castillos, J. Dadeau, and . Julliand, Scenario-based testing from UM-L/OCL behavioral models, International Journal on Software Tools for Technology Transfer, vol.13, pp.1433-2787, 2011.

A. Cavalcanti and M. Gaudel, Test selection for traces refinement, Theoretical Computer Science, vol.563, pp.1-42, 2015.
URL : https://hal.archives-ouvertes.fr/hal-01126800

A. R. Cavalli, Hit-or-Jump: An algorithm for embedded testing with applications to IN services, Formal Methods for Protocol Engineering and Distributed Systems, FORTE XII / PSTV XIX'99, IFIP TC6 WG6.1 Joint International Conference on Formal Description Techniques for Distributed Systems and Communication Protocols (FORTE XII) and Protocol Specification, Testing and Verification (PSTV XIX), October 5-8, pp.41-56, 1999.

K. Chen, Testing a Distributed System: Generating Test Sequences without Potential Controllability and Observability Problems, Fifth International Conference on Networking and the International Conference on Systems (ICN / ICONS / MCL, p.170, 2006.

Y. Cheon and G. T. Leavens, A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002 -Object-Oriented Programming, pp.978-981, 2002.

V. Chimisliu and F. Wotawa, Improving Test Case Generation from UML Statecharts by Using Control, Data and Communication Dependencies, Proceedings of the 2013 13th International Conference on Quality Software. QSIC '13, pp.125-134, 2013.

S. Tsun and . Chow, Testing Software Design Modeled by Finite-State Machines, IEEE Trans. Software Eng, vol.4, pp.178-187, 1978.

D. Clarke, Tools and Algorithms for the Construction and Analysis of Systems, pp.978-981, 2002.

F. George and . Coulouris, Distributed Systems: Concepts and Design, 2011.

F. Dadeau, K. Cabrera-castillos, and J. Julliand, Coverage Criteria for Model-Based Testing using Property Patterns, MBT 2014, 9th Workshop on Model-Based Testing, Satellite workshop of ETAPS, vol.141, p.15, 2014.
URL : https://hal.archives-ouvertes.fr/hal-01089687

F. Dadeau, K. Cabrera-castillos, and R. Tissot, Scenario-Based Testing using Symbolic Animation of B Models, Software Testing, Verification and Reliability, vol.6, pp.407-434, 2012.
URL : https://hal.archives-ouvertes.fr/hal-01304051

E. Daka and G. Fraser, A Survey on Unit Testing Practices and Problems, 2014 IEEE 25th International Symposium on Software Reliability Engineering, pp.201-211, 2014.

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, 2008.

J. S. Dong, Specifying and Verifying Sensor Networks: An Experiment of Formal Methods, Formal Methods and Software Engineering, 10th International Conference on Formal Engineering Methods, ICFEM 2008, Kitakyushu-City, pp.318-337, 2008.

A. Dunkels, B. Gronvall, and T. Voigt, Contiki -a lightweight and flexible operating system for tiny networked sensors, 29th Annual IEEE International Conference on Local Computer Networks, pp.455-462, 2004.

B. Dutertre, Proceedings of the 16th International Conference on Computer Aided Verifi, vol.8559, pp.737-744, 2014.

L. Frantzen, J. Tretmans, and T. A. Willemse, Test Generation Based on Symbolic Specifications, Formal Approaches to Software Testing, 4th International Workshop, pp.1-15, 2004.

S. Fujiwara and . Gregor-von-bochmann, Testing Non-Deterministic State Machines with Fault Coverage, Protocol Test Systems, IV, Proceedings of the IFIP TC6/WG6.1 Fourth International Workshop on Protocol Test Systems, pp.267-280, 1991.

H. Garavel, F. Lang, and W. Serwe, From LOTOS to LNT, ModelEd, TestEd, TrustEd -Essays Dedicated to Ed Brinksma on the Occasion of His 60th Birthday, pp.3-26, 2017.
URL : https://hal.archives-ouvertes.fr/hal-01621670

C. Gaston, R. M. Hierons, and P. L. Gall, An Implementation Relation and Test Framework for Timed Distributed Systems, Testing Software and Systems -25th IFIP WG 6.1 International Conference, ICTSS 2013, pp.82-97, 2013.
URL : https://hal.archives-ouvertes.fr/cea-01810746

C. Gaston, Symbolic Execution Techniques for Test Purpose Definition, Testing of Communicating Systems, 18th IFIP TC6/WG6.1 International Conference, pp.1-18, 2006.
URL : https://hal.archives-ouvertes.fr/hal-00342082

M. Gerhold and M. Stoelinga, Model-Based Testing of Probabilistic Systems, Fundamental Approaches to Software Engineering, pp.978-981, 2016.

A. Griesmayer, Dynamic Symbolic Execution for Testing Distributed Objects, Tests and Proofs, pp.978-981, 2009.

A. Hessel, Testing Real-Time Systems Using UPPAAL". In: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, pp.77-117, 2008.

A. Hessel, Time-Optimal Real-Time Test Case Generation Using Uppaal, Formal Approaches to Software Testing, Third International Workshop on Formal Approaches to Testing of Software, FATES 2003, 2003.

J. Hui and R. Kelsey, Multicast Protocol for Low-Power and Lossy Networks, Request for Comments: 7731, 2016.

E. Itoh, Ordered sequence testing criteria for concurrent programs and the support tool, Proceedings of 1st Asia-Pacific Software Engineering Conference, pp.236-245, 1994.

. Z. Itu, 100 : Specification and Description Language -Overview of SDL-2010. INTERNATIONAL TELECOMMUNICATION UNION, 2010.

C. Jard and T. Jéron, TGV: theory, principles and algorithms, pp.297-315, 2005.

. Thierry-jéron, Symbolic Model-based Test Selection, Electronic Notes in Theoretical Computer Science, p.240, 2009.

K. Sen and G. Agha, CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools, Computer Aided Verification, 18th International Conference, pp.419-423, 2006.

J. C. King, Symbolic Execution and Program Testing, Commun. ACM, vol.19, pp.385-394, 1976.

M. Krichen, A Formal Framework for Conformance Testing of Distributed Real-Time Systems, Principles of Distributed Systems, pp.978-981, 2010.

M. Krichen and S. Tripakis, Black-Box Conformance Testing for Real-Time Systems, SPIN, 2004.

S. Kurt, Packet Size Optimization in Wireless Sensor Networks for Smart Grid Applications, IEEE Trans. Industrial Electronics, vol.64, pp.2392-2401, 2017.

L. Frantzen, J. Tretmans, and T. A. Willemse, A Symbolic Framework for Model-Based Testing, Int. Workshops FATES and RV, 2006.

O. and R. L. Cacciari, Controllability and observability in distributed testing, Information and Software Technology, 1999.

E. A. Lee and D. G. Messerschmitt, Synchronous data flow, Proceedings of the IEEE, vol.75, pp.1235-1245, 1987.

P. Levis, The Trickle Algorithm, Request for Comments: 6206, 2011.

P. Levis, TinyOS: An Operating System for Sensor Networks, Ambient Intelligence, pp.115-148, 2005.

P. Levis, Trickle: A Self-regulating Algorithm for Code Propagation and Maintenance in Wireless Sensor Networks, Proceedings of the 1st Conference on Symposium on Networked Systems Design and Implementation, vol.1, 2004.

P. Levis, The Emergence of a Networking Primitive in Wireless Sensor Networks, Communications of the ACM, vol.51, 2008.

B. Lima and J. P. Faria, A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice, Software Technologies, 11th International Joint Conference, pp.88-107, 2016.

D. Lugato, N. Rapin, and J. Gallois, Verification and tests generation for SDL industrial specifications with the AGATHA, 2001.

L. Marsso, R. Mateescu, and W. Serwe, TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation, pp.978-981, 2018.
URL : https://hal.archives-ouvertes.fr/hal-01777861

T. Meyfroyt, On the scalability and message count of Trickle-based broadcasting schemes, Queueing Syst, vol.81, pp.203-230, 2015.

R. M. Hierons, Generating Complete Controllable Test Suites for Distributed Testing, IEEE Transactions on Software Engineering, 2015.

J. Glenford, C. Myers, and . Sandler, The Art of Software Testing, p.471469122, 2004.

N. Nguyen, Behavioral Models and Scenario Selection for Testing IoT Trickle-Based Lossy Multicast Networks, 2019 IEEE International Conference on Software Testing, Verification and Validation Workshops, ICST Workshops, pp.168-175, 2019.
URL : https://hal.archives-ouvertes.fr/hal-02421125

O. Soria-dustmann, R. Sasnauskas, and W. K. , Symbolic System Time in Distributed Systems Testing, Fifth IEEE International Conference on Software Testing, Verification and Validation, pp.893-894, 2012.

. Omg and . Omg, Systems Modeling Language (OMG SysML), Version 1.3. Object Management Group, 2012.

R. Sasnauskas, Integration testing of protocol implementations using symbolic distributed execution, 20th IEEE International Conference on Network Protocols, pp.1-6, 2012.

R. Sasnauskas, Scalable Symbolic Execution of Distributed Systems, 2011 International Conference on Distributed Computing Systems, ICDCS. 2011, pp.333-342

L. David and . Dill-rajeev-alur, A theory of timed automata, Journal Theoretical Computer Science, vol.126, pp.183-235, 1994.

M. Jaffar-ur-rehman, Testing software components for integration: a survey of issues and techniques, In: Softw. Test., Verif. Reliab, vol.17, pp.95-133, 2007.

C. Robinson-mallett, R. M. Hierons, and P. Liggesmeyer, Achieving communication coverage in testing, ACM SIGSOFT Software Engineering Notes, 2006.

C. Robinson-mallett, Using communication coverage criteria and partial model generation to assist software integration testing, Software Quality Journal, 2008.

A. Rollet and S. Salva, Testing robustness of communicating systems using ioco-based approach, Computers and Communications, 2009.
URL : https://hal.archives-ouvertes.fr/hal-00406169

V. Rusu, H. Marchand, and T. Jéron, Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems, International Symposium on Formal Methods, 2005.
URL : https://hal.archives-ouvertes.fr/inria-00483945

S. Khurshid, C. Pasareanu, and W. Visser, Generalized Symbolic Execution for Model Checking and Testing, Tools and Algorithms for the Construction and Analysis of Systems, 9th International Conference, TACAS Proceedings, pp.553-568, 2003.

J. Schmaltz and J. Tretmans, On Conformance Testing for Timed Systems, Formal Modeling and Analysis of Timed Systems, 2008.

, A Conformance Testing Relation for Symbolic Timed Automata, Formal Modeling and Analysis of Timed Systems, 2010.

T. János-zoltán-szabó and . Csöndes, TITAN, TTCN-3 test execution environment, 2007.

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

J. Tretmans, Conformance Testing with Labelled Transition Systems : Implementation Relations and Test Generation, Computer Networks and ISDN Systems, 1996.

J. Tretmans, Test generation with inputs, outputs and repetitive quiescence, Software-Concepts and Tools, pp.103-120, 1996.

J. Tretmans and E. Brinksma, TorX: Automated Model Based Testing -Côte de Resyste, 2003.

P. Tripathy and K. Naik, Generation of Adaptive Test Cases From Non-deterministic Finite State Models, pp.309-320, 1992.

P. K. Edward and . Tsang, Foundations of constraint satisfaction, Computation in cognitive science, 1993.

A. Ulrich, P. Zimmerer, and G. Chrobok-diening, Test Architectures for Testing Distributed Systems, 1999.

J. Vain, Automatic Distribution of Local Testers for Testing Distributed Systems, Databases and Information Systems IX -Selected Papers from the Twelfth International Baltic Conference, DBIS 2016, pp.297-310, 2016.

X. Wang and J. H. Zhang, Analysis and Research on Distributed Network Protocol Testing Controllability Problem, International Conference on Information Engineering for Mechanics and Materials, 2015.

C. Willcock, An Introduction to TTCN-3. 2nd, p.9780470663066, 2011.

T. Winter, RPL: IPv6 Routing Protocol for Low-Power and Lossy Networks, Request for Comments: 6550, 2012.

M. Woehrle, R. Bakhshi, and M. Mousavi, Mechanized Extraction of Topology Anti-patterns in Wireless Networks, Integrated Formal Methods, pp.158-173, 2012.

M. Zheng, Towards a Model Checker for NesC and Wireless Sensor Networks, Formal Methods and Software Engineering, pp.372-387, 2011.