, any event produced by the LUT (either a reaction or an observation of a delay) must be specified in the reference model
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
Observer Patterns for Real-Time Systems, 2013 18th International Conference on Engineering of Complex Computer Systems, pp.125-134, 2013. ,
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. ,
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. ,
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
CVC4, Proceedings of the 23rd International Conference on Computer Aided Verification. CAV'11, pp.171-177, 2011. ,
Constraint satisfaction techniques in planning and scheduling, Journal of Intelligent Manufacturing, vol.21, pp.1572-8145, 2010. ,
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. ,
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. ,
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
Timed Testing with TorX, FM 2005: Formal Methods, pp.978-981, 2005. ,
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. ,
Scenario-based testing from UM-L/OCL behavioral models, International Journal on Software Tools for Technology Transfer, vol.13, pp.1433-2787, 2011. ,
Test selection for traces refinement, Theoretical Computer Science, vol.563, pp.1-42, 2015. ,
URL : https://hal.archives-ouvertes.fr/hal-01126800
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. ,
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. ,
A Simple and Practical Approach to Unit Testing: The JML and JUnit Way, ECOOP 2002 -Object-Oriented Programming, pp.978-981, 2002. ,
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. ,
Testing Software Design Modeled by Finite-State Machines, IEEE Trans. Software Eng, vol.4, pp.178-187, 1978. ,
Tools and Algorithms for the Construction and Analysis of Systems, pp.978-981, 2002. ,
Distributed Systems: Concepts and Design, 2011. ,
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
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
A Survey on Unit Testing Practices and Problems, 2014 IEEE 25th International Symposium on Software Reliability Engineering, pp.201-211, 2014. ,
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. ,
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. ,
Contiki -a lightweight and flexible operating system for tiny networked sensors, 29th Annual IEEE International Conference on Local Computer Networks, pp.455-462, 2004. ,
, Proceedings of the 16th International Conference on Computer Aided Verifi, vol.8559, pp.737-744, 2014.
Test Generation Based on Symbolic Specifications, Formal Approaches to Software Testing, 4th International Workshop, pp.1-15, 2004. ,
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. ,
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
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
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
Model-Based Testing of Probabilistic Systems, Fundamental Approaches to Software Engineering, pp.978-981, 2016. ,
Dynamic Symbolic Execution for Testing Distributed Objects, Tests and Proofs, pp.978-981, 2009. ,
Testing Real-Time Systems Using UPPAAL". In: Formal Methods and Testing, An Outcome of the FORTEST Network, Revised Selected Papers, pp.77-117, 2008. ,
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. ,
Multicast Protocol for Low-Power and Lossy Networks, Request for Comments: 7731, 2016. ,
Ordered sequence testing criteria for concurrent programs and the support tool, Proceedings of 1st Asia-Pacific Software Engineering Conference, pp.236-245, 1994. ,
100 : Specification and Description Language -Overview of SDL-2010. INTERNATIONAL TELECOMMUNICATION UNION, 2010. ,
TGV: theory, principles and algorithms, pp.297-315, 2005. ,
Symbolic Model-based Test Selection, Electronic Notes in Theoretical Computer Science, p.240, 2009. ,
CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools, Computer Aided Verification, 18th International Conference, pp.419-423, 2006. ,
Symbolic Execution and Program Testing, Commun. ACM, vol.19, pp.385-394, 1976. ,
A Formal Framework for Conformance Testing of Distributed Real-Time Systems, Principles of Distributed Systems, pp.978-981, 2010. ,
Black-Box Conformance Testing for Real-Time Systems, SPIN, 2004. ,
Packet Size Optimization in Wireless Sensor Networks for Smart Grid Applications, IEEE Trans. Industrial Electronics, vol.64, pp.2392-2401, 2017. ,
A Symbolic Framework for Model-Based Testing, Int. Workshops FATES and RV, 2006. ,
Controllability and observability in distributed testing, Information and Software Technology, 1999. ,
Synchronous data flow, Proceedings of the IEEE, vol.75, pp.1235-1245, 1987. ,
The Trickle Algorithm, Request for Comments: 6206, 2011. ,
TinyOS: An Operating System for Sensor Networks, Ambient Intelligence, pp.115-148, 2005. ,
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. ,
The Emergence of a Networking Primitive in Wireless Sensor Networks, Communications of the ACM, vol.51, 2008. ,
A Survey on Testing Distributed and Heterogeneous Systems: The State of the Practice, Software Technologies, 11th International Joint Conference, pp.88-107, 2016. ,
Verification and tests generation for SDL industrial specifications with the AGATHA, 2001. ,
TESTOR: A Modular Tool for On-the-Fly Conformance Test Case Generation, pp.978-981, 2018. ,
URL : https://hal.archives-ouvertes.fr/hal-01777861
On the scalability and message count of Trickle-based broadcasting schemes, Queueing Syst, vol.81, pp.203-230, 2015. ,
Generating Complete Controllable Test Suites for Distributed Testing, IEEE Transactions on Software Engineering, 2015. ,
The Art of Software Testing, p.471469122, 2004. ,
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
Symbolic System Time in Distributed Systems Testing, Fifth IEEE International Conference on Software Testing, Verification and Validation, pp.893-894, 2012. ,
Systems Modeling Language (OMG SysML), Version 1.3. Object Management Group, 2012. ,
Integration testing of protocol implementations using symbolic distributed execution, 20th IEEE International Conference on Network Protocols, pp.1-6, 2012. ,
Scalable Symbolic Execution of Distributed Systems, 2011 International Conference on Distributed Computing Systems, ICDCS. 2011, pp.333-342 ,
A theory of timed automata, Journal Theoretical Computer Science, vol.126, pp.183-235, 1994. ,
Testing software components for integration: a survey of issues and techniques, In: Softw. Test., Verif. Reliab, vol.17, pp.95-133, 2007. ,
Achieving communication coverage in testing, ACM SIGSOFT Software Engineering Notes, 2006. ,
Using communication coverage criteria and partial model generation to assist software integration testing, Software Quality Journal, 2008. ,
Testing robustness of communicating systems using ioco-based approach, Computers and Communications, 2009. ,
URL : https://hal.archives-ouvertes.fr/hal-00406169
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
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. ,
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.
TITAN, TTCN-3 test execution environment, 2007. ,
Distributed systems: principles and paradigms, 2007. ,
Conformance Testing with Labelled Transition Systems : Implementation Relations and Test Generation, Computer Networks and ISDN Systems, 1996. ,
Test generation with inputs, outputs and repetitive quiescence, Software-Concepts and Tools, pp.103-120, 1996. ,
TorX: Automated Model Based Testing -Côte de Resyste, 2003. ,
Generation of Adaptive Test Cases From Non-deterministic Finite State Models, pp.309-320, 1992. ,
Foundations of constraint satisfaction, Computation in cognitive science, 1993. ,
Test Architectures for Testing Distributed Systems, 1999. ,
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. ,
Analysis and Research on Distributed Network Protocol Testing Controllability Problem, International Conference on Information Engineering for Mechanics and Materials, 2015. ,
An Introduction to TTCN-3. 2nd, p.9780470663066, 2011. ,
RPL: IPv6 Routing Protocol for Low-Power and Lossy Networks, Request for Comments: 6550, 2012. ,
Mechanized Extraction of Topology Anti-patterns in Wireless Networks, Integrated Formal Methods, pp.158-173, 2012. ,
Towards a Model Checker for NesC and Wireless Sensor Networks, Formal Methods and Software Engineering, pp.372-387, 2011. ,