Symbolic analysis for improving simulation coverage of simulink/stateflow models, Proceedings of the 8th ACM international conference on Embedded software, pp.89-98, 2008. ,
Using model checking to generate tests from specifications, Proceedings. Second International Conference on, pp.46-54, 1998. ,
Multicast transport protocol, RFC, vol.1301, pp.1-38, 1992. ,
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
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
Eliciting unitary constraints from timed sequence diagram with symbolic techniques: application to testing, 18th APSEC. IEEE, 2011. ,
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
, International Conference on Computer Aided Verification, pp.171-177, 2011.
, Proceedings of the 23rd International Conference on Computer Aided Verification, CAV'11, pp.171-177, 2011.
The smt-lib standard: Version 2.0, Proceedings of the 8th International Workshop on Satisfiability Modulo Theories, vol.13, p.14, 2010. ,
Satisfiability modulo theories. Handbook of satisfiability, vol.185, pp.825-885, 2009. ,
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
Handbook of satisfiability, vol.185, 2009. ,
Theories for model-based testing: Real-time and coverage, 2007. ,
Breadth-first search, Catalogue of Artificial Intelligence Tools, pp.13-13, 1984. ,
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. ,
Distributed test using logical clock, Formal Techniques for Networked and Distributed Systems, pp.69-84 ,
, , 2002.
A system to generate test data and symbolically execute programs, IEEE Trans. Softw. Eng, vol.2, issue.3, pp.215-222, 1976. ,
Using symbolic execution for verifying safety-critical systems, SIGSOFT Softw. Eng. Notes, vol.26, issue.5, pp.142-151, 2001. ,
Distributed systems: concepts and design. pearson education, 2005. ,
A multicast transport protocol, SIGCOMM '88, Proceedings of the ACM Symposium on Communications Architectures and Protocols, pp.247-256, 1988. ,
Applications of symbolic execution to program testing, Computer, vol.11, issue.4, pp.51-60, 1978. ,
Omer L Nguena Timo, and Antoine Rollet. Remote testing of timed specifications, IFIP International Conference on Testing Software and Systems, pp.65-81, 2013. ,
Conformance relations for labeled event structures, TAP, pp.83-98, 2012. ,
Z3: An efficient smt solver. Tools and Algorithms for the Construction and Analysis of Systems, pp.337-340, 2008. ,
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
Yices 2.2, ComputerAided Verification (CAV'2014), vol.8559, pp.737-744, 2014. ,
The yices smt solver, vol.2, pp.1-2, 2006. ,
Model-based software testing. encyclopedia of software engineering, 2001. ,
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
Timed Conformance Testing for Orchestrated Service Discovery, Proc. of Int. Conf. Formal Aspects of. Component Software (FACS), 2011. ,
Timestamps in message-passing systems that preserve the partial ordering, Australian Computer Science Communications, vol.10, issue.1, pp.56-66, 1988. ,
Logical time in distributed computing systems, Computer, vol.24, issue.8, pp.28-33, 1991. ,
TCP/IP protocol suite, 2002. ,
Test generation based on symbolic specifications, International Workshop on Formal Approaches to Software Testing, pp.1-15, 2004. ,
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
Symbolic execution techniques for test purpose definition, TestCom, vol.3964, pp.1-18, 2006. ,
URL : https://hal.archives-ouvertes.fr/hal-00342082
Issues in testing distributed component-based systems, First ICSE workshop on testing distributed component-based systems, pp.211-220, 1999. ,
Smart grid technologies: Communication technologies and standards, IEEE transactions on Industrial informatics, vol.7, issue.4, pp.529-539, 2011. ,
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. ,
Statecharts: A visual formalism for complex systems, Science of computer programming, vol.8, issue.3, pp.231-274, 1987. ,
Testing real-time systems using uppaal, Formal methods and testing, pp.77-117, 2008. ,
Using time to add order to distributed testing, FM, pp.232-246, 2012. ,
Weak mutation testing and completeness of test sets, IEEE Transactions on Software Engineering, SE, vol.8, issue.4, pp.371-379, 1982. ,
Remote testing can be as powerful as local testing, Formal Methods for Protocol Engineering and Distributed Systems, pp.25-40, 1999. ,
An analysis and survey of the development of mutation testing, IEEE transactions on software engineering, vol.37, issue.5, pp.649-678, 2011. ,
Finite markov chains, vol.356, 1960. ,
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. ,
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. ,
An approach for testing asynchronous communicating systems, IEICE transactions on communications, vol.82, issue.1, pp.81-95, 1999. ,
An enhanced model for testing asynchronous communicating systems, In Formal Methods for Protocol Engineering and Distributed Systems, pp.337-356, 1999. ,
A new approach to program testing, SIGPLAN Not, vol.10, issue.6, pp.228-233, 1975. ,
Symbolic execution and program testing, Communications of the ACM, vol.19, issue.7, pp.385-394, 1976. ,
A fortran language system for mutation-based software testing. Software: Practice and Experience, vol.21, pp.685-718, 1991. ,
Clock synchronization in distributed real-time systems, IEEE Trans. Comput, vol.36, issue.8, pp.933-940, 1987. ,
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. ,
Black-box time systems, Proc. of Int. SPIN Workshop Model Checking of Software, 2004. ,
A formal framework for conformance testing of distributed real-time systems, International Conference On Principles Of Distributed Systems, pp.139-142, 2010. ,
Black-box conformance testing for real-time systems, SPIN, vol.2989, pp.109-126, 2004. ,
Conformance testing for real-time systems, Formal Methods in System Design, vol.34, issue.3, pp.238-304, 2009. ,
Conformance testing for real-time systems, Form. Methods Syst. Des, vol.34, issue.3, pp.238-304, 2009. ,
Computer networking: a top-down approach, vol.4, 2009. ,
Communication network requirements for major smart grid applications in han, nan and wan, Computer Networks, vol.67, pp.74-88, 2014. ,
Time, clocks, and the ordering of events in a distributed system, Communications of the ACM, vol.21, issue.7, pp.558-565, 1978. ,
Virtual time and global states of distributed systems, Parallel and Distributed Algorithms, vol.1, issue.23, pp.215-226, 1989. ,
Security and privacy challenges in the smart grid, IEEE Security & Privacy, vol.7, issue.3, 2009. ,
The art of software testing, 2011. ,
Test case generation for mutation-based testing of timeliness, Electronic Notes in Theoretical Computer Science, vol.164, issue.4, pp.97-114, 2006. ,
Multicast transport protocols: a survey and taxonomy, IEEE Communications magazine, vol.36, issue.1, pp.94-102, 1998. ,
Testing from partial deterministic fsm specifications, IEEE Transactions on Computers, vol.54, issue.9, pp.1154-1165, 2005. ,
Distributed testing of concurrent systems: vector clocks to the rescue, International Colloquium on Theoretical Aspects of Computing, pp.369-387, 2014. ,
Abstractions for model-based testing. Electronic Notes in Theoretical Computer Science, vol.116, pp.59-71, 2005. ,
Model-based testing tools. Presentation at Software Testing Day at TUT, 2008. ,
On the automated generation of program test data, IEEE Transactions on Software Engineering, SE, vol.2, issue.4, pp.293-300, 1976. ,
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
Unified modeling language reference manual, the. Pearson Higher Education, 2004. ,
Multicast routing algorithms and protocols: A tutorial, IEEE network, vol.14, issue.1, pp.90-102, 2000. ,
Model-based testing of distributed systems. School of Computing Queen's University Canada, 2008. ,
On conformance testing for timed systems. Formal Modeling and Analysis of Timed Systems, pp.250-264, 2008. ,
Requirements engineering: a good practice guide, 1997. ,
Distributed systems: principles and paradigms, 2007. ,
Depth-first search and linear graph algorithms, SIAM journal on computing, vol.1, issue.2, pp.146-160, 1972. ,
Conformance testing with labelled transition systems: Implementation relations and test generation, vol.29, pp.49-79, 1996. ,
Test Generation with Inputs, Outputs and Repetitive Quiescence, Centre for Telematics and Information Technology (CTIT), pp.96-122, 1996. ,
Model Based Testing with Labelled Transition Systems, pp.1-38, 2008. ,
Foundations of constraint satisfaction: the classic text. BoD-Books on Demand, 2014. ,
Department of Computer Science. A Taxonomy of Model-based Testing. Working paper series, 2006. ,
Practical model-based testing: a tools approach, 2010. ,
Object-oriented specificationbased testing using uml statechart diagrams, Proceedings of the Workshop on Automated Program Analysis, Testing, and Verification (at ICSE'00), 2000. ,
Test models and coverage criteria for automatic model-based test generation with UML state machines, 2010. ,
Symstra: A framework for generating object-oriented unit tests using symbolic execution, TACAS, vol.3440, pp.365-381, 2005. ,
Test architectures for testing distributed systems, 12th International software quality week (QW 99), 1999. ,