A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, p.235, 1994. ,
O-line test selection with test purposes for non-deterministic timed automata, Proceedings of TACAS'2011, 2011. ,
Timed testing with TorX, FM 2005: Formal Methods. pp. 173188, 2005. ,
Lutess: A specication-driven testing environment for synchronous software, Proceedings of ICSE'1999, p.267276, 1999. ,
Deterministic Timed Finite State Machines: Equivalence Checking and Expressive Power, 2014. ,
Testing software design modeled by nite-state machines, IEEE Transactions on Software Engineering SE, vol.4, issue.3, p.178187, 1978. ,
Aiding test case generation in temporally constrained state based systems using genetic algorithms, 2009. ,
Fsm-based conformance testing methods: A survey annotated with experimental evaluation, Information & Software Technology, vol.52, issue.12, p.12861297, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00593960
Testing Timed Finite State Machines with Guaranteed Fault Coverage, Proceedings of the 21st TESTCOM and 9th FATES, p.6680, 2009. ,
Conformance testing for real-time systems, FMSD, vol.34, p.238304, 2009. ,
Timed modeling of web services composition for automatic testing, 2007 Third International IEEE Conference on Signal-Image Technologies and Internet-Based System, p.417426, 2007. ,
Testing real-time embedded software using Uppaal-Tron: An industrial case study, Proceedings of EM-SOFT'05, p.299306, 2005. ,
Test sequences generation from LUSTRE descriptions: GATEL, Proceedings ASE'2000, p.229237, 2000. ,
Formal testing from timed nite state machines, Computer networks, vol.52, issue.2, p.432460, 2008. ,
T-Uppaal: Online model-based testing of real-time systems, Proceedings of ASE'2004, vol.396397, 2004. ,
Fault detection for sequential machines by transitiontours, Proceedings of Fault Tolerant Computer Systems, p.238243, 1981. ,
Multiple Mutation Testing from Finite State Machines with Symbolic Inputs, Proceedings of ICTSS'2017, p.354375, 2017. ,
URL : https://hal.archives-ouvertes.fr/hal-01678962
Checking Sequence Generation for Symbolic Input/Output FSMs by Constraint Solving, Proceedings of IC-TAC'18, p.3651, 2018. ,
Conformance testing of variable driven automata, WFCS'2010, p.241248, 2010. ,
URL : https://hal.archives-ouvertes.fr/hal-00527305
Test case generation for mutation-based testing of timeliness, Electr. Notes Theor. Comput. Sci, vol.164, issue.4, p.97114, 2006. ,
Multiple Mutation Testing from FSM, Proceedings of FORTE'2016, p.222238, 2016. ,
URL : https://hal.archives-ouvertes.fr/hal-01432920
Test Suite Generation from a FSM with a Given Type of Implementation Errors, Proceedings of the IFIP TC6/WG6.1 Twelfth International Symposium on Protocol Specication, Testing and Verication, p.229243, 1992. ,
Automatic testing of reactive systems, Proceedings of RTSS'98, 1998. ,
Extending SAT Solvers to Cryptographic Problems, p.244257, 2009. ,
Test generation with inputs, outputs, and repetitive quiescence. Software-Concepts and Tools, vol.17, p.103120, 1996. ,
Deriving tests with guaranteed fault coverage for nite state machines with timeouts, Proceedings of ICTSS, vol.11146, p.149154, 2018. ,
Model-based mutation operators for timed systems: A taxonomy and research agenda, Proceedings of QRS, p.325332, 2018. ,
FSM-Based Test Derivation Strategies for Systems with Time-Outs, Proceedings of QSIC'2011, p.141149, 2011. ,
URL : https://hal.archives-ouvertes.fr/hal-01303601