Testing Concurrent Systems: A Formal Approach, CONCUR'99: Proc. of the 10th Int. Conf. on Concurrency Theory, pp.46-65, 1999. ,
DOI : 10.1007/3-540-48320-9_6
Time-Optimal Real-Time Test Case Generation Using Uppaal, FATES'03, ser, pp.114-130, 2004. ,
DOI : 10.1007/978-3-540-24617-6_9
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.3844
Online Testing of Real-time Systems Using Uppaal, FATES'04, ser. LNCS, pp.79-94, 2005. ,
DOI : 10.1007/s100090050044
Conformance testing for real-time systems, Formal Methods in System Design, vol.10, issue.1???2, pp.238-304, 2009. ,
DOI : 10.1007/s10703-009-0065-1
Property-oriented testing of real-time systems, APSEC'04: Proc. of the 11th Asia-Pacific Software Engineering Conference, pp.358-365, 2004. ,
Off-line test selection with test purposes for non-deterministic timed automata, TACAS 2011, 2011. ,
URL : https://hal.archives-ouvertes.fr/inria-00550923
Timed Wp-method: testing real-time systems, IEEE Transactions on Software Engineering, vol.28, issue.11, pp.1023-1038, 2002. ,
DOI : 10.1109/TSE.2002.1049402
Extending EFSMs to Specify and Test Timed Systems with Action Durations and Time-Outs, IEEE Transactions on Computers, vol.57, issue.6, pp.835-844, 2008. ,
DOI : 10.1109/TC.2008.15
An Approach to Symbolic Test Generation, IFM'00: Proc. of the Second Int. Conf. on Integrated Formal Methods, pp.338-357, 2000. ,
DOI : 10.1007/3-540-40911-4_20
Testing processes from formal specifications with inputs, outputs and data types, 13th International Symposium on Software Reliability Engineering, 2002. Proceedings., p.3, 2002. ,
DOI : 10.1109/ISSRE.2002.1173206
Symbolic Test Selection Based on Approximate Analysis, TACAS'05, ser. LNCS, pp.349-364, 2005. ,
DOI : 10.1007/978-3-540-31980-1_23
URL : https://hal.archives-ouvertes.fr/inria-00564617
A Symbolic Framework for Model-Based Testing, FATES/RV 2006, ser, pp.40-54, 2006. ,
DOI : 10.1007/11940197_3
Conformance Tests for Real-Time Systems with Timed Automata Specifications, Formal Aspects of Computing, vol.12, issue.5, pp.350-371, 2000. ,
DOI : 10.1007/s001650070009
Uppaal in a nutshell, International Journal on Software Tools for Technology Transfer, vol.1, issue.1-2, pp.134-152, 1997. ,
DOI : 10.1007/s100090050010
Complete Test Graph Synthesis For Symbolic Real-time Systems, Electronic Notes in Theoretical Computer Science, vol.130, pp.79-100, 2005. ,
DOI : 10.1016/j.entcs.2005.03.006
Test Case Generation of Embedded Real-Time Systems with Interruptions for FreeRTOS, Formal Methods: Foundations and Applications, ser. LNCS, pp.54-69, 2009. ,
DOI : 10.1007/978-3-642-10452-7_5
Automating test case execution for real-time embedded systems, ICTSS'10, pp.37-42, 2010. ,
Automatic test generation for data-flow reactive systems with time constraints, ICTSS'10, pp.25-30, 2010. ,
URL : https://hal.archives-ouvertes.fr/inria-00530584
A theory of timed automata, Theoretical Computer Science, vol.126, issue.2, pp.183-235, 1994. ,
DOI : 10.1016/0304-3975(94)90010-8
Modeling urgency in timed systems, " in Compositionality: The Significant Difference , ser, LNCS, vol.1536, pp.264-279, 1998. ,
Symbolic Determinisation of Extended Automata, Proc. of the 4th IFIP Int. Conf. on Theor. Comput. Sci., ser. IFIP, pp.197-212, 2006. ,
DOI : 10.1007/978-0-387-34735-6_18
A new approach to program testing, Proc. of the Int. Conf. on Reliable software, pp.228-233, 1975. ,
A System to Generate Test Data and Symbolically Execute Programs, IEEE Transactions on Software Engineering, vol.2, issue.3, pp.215-222, 1976. ,
DOI : 10.1109/TSE.1976.233817
Symbolic Execution Techniques for Test Purpose Definition, Testing of Communicating Systems, ser. LNCS, pp.1-18, 2006. ,
DOI : 10.1007/11754008_1
URL : https://hal.archives-ouvertes.fr/hal-00342082
When BDDs Fail: Conformance Testing with Symbolic Execution and SMT Solving, 2010 Third International Conference on Software Testing, Verification and Validation, pp.479-488, 2010. ,
DOI : 10.1109/ICST.2010.48
TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, pp.297-315, 2005. ,
DOI : 10.1007/s10009-004-0153-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262