A Formal Approach to Conformance Testing, Proc ,
Test Generation with Inputs, Outputs, and Repetitive Quiescence, Software?Concepts and Tools, pp.103-120, 1996. ,
DOI : 10.1007/3-540-61042-1_42
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.475.9528
Using Model Checking to Generate Tests from Requirements Specifications, Proc. European Software Eng. Conf. and ACM SIGSOFT Symp. Foundations of Software Eng. (ESEC/FSE '99), pp.146-162, 1999. ,
DOI : 10.1007/3-540-48166-4_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4134
TGV: theory, principles and algorithms, International Journal on Software Tools for Technology Transfer, vol.17, issue.4, 2004. ,
DOI : 10.1007/s10009-004-0153-x
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.1.4262
Specifying and Generating Test Cases Using Observer Automata, Proc. Workshop Formal Approaches to Software Testing, 2004. ,
DOI : 10.1007/3-540-40911-4_20
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.105.3418
A Temporal Logic Based Theory of Test Coverage and Generation, Proc. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '02), pp.327-341, 2002. ,
DOI : 10.1007/3-540-46002-0_23
Model Checking of Safety Properties, Formal Methods in System Design, pp.291-314, 2001. ,
DOI : 10.1007/3-540-48683-6_17
A Theory for the Derivation of Tests, Proc. Conf. Protocol Specification, Testing, and Verification (PSTV '88), pp.63-74, 1988. ,
Using a model checker to test safety properties, Proceedings Seventh IEEE International Conference on Engineering of Complex Computer Systems, 2001. ,
DOI : 10.1109/ICECCS.2001.930180
Generating efficient test sets with a model checker, Proceedings of the Second International Conference on Software Engineering and Formal Methods, 2004. SEFM 2004., pp.261-270, 2004. ,
DOI : 10.1109/SEFM.2004.1347530
Specifying and Generating Test Cases Using Observer Automata, Proc. Formal Approaches to Software Testing, pp.137-152, 2004. ,
DOI : 10.1007/3-540-40911-4_20
A Temporal Logic Based Theory of Test Coverage and Generation, Proc. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '02), pp.327-341, 2002. ,
DOI : 10.1007/3-540-46002-0_23
Black Box Checking, J. Automata, Languages, and Combinatorics, vol.7, issue.2, pp.225-246, 2001. ,
DOI : 10.1007/978-0-387-35578-8_13
Property Oriented Test Case Generation, Proc. Formal Aspects of Software Testing Workshop, 2003. ,
DOI : 10.1007/978-3-540-24617-6_11
Towards Formal Test Purposes, Formal Approaches to Testing of Software (FATES '01), pp.61-76, 2001. ,
Formal Test Automation: A Simple Experiment, Proc. Int'l Workshop Testing of Comm. Systems (IWTCS '99), pp.179-196, 1996. ,
DOI : 10.1007/978-0-387-35567-2_12
Synthesizing Monitors for Safety Properties, Proc. Int'l Conf. Tools and Algorithms for Construction and Analysis of Systems (TACAS '02), pp.342-356, 2002. ,
DOI : 10.1007/3-540-46002-0_24
Verification and test generation for the SSCOP protocol, Science of Computer Programming, vol.36, issue.1, pp.27-52, 2000. ,
DOI : 10.1016/S0167-6423(99)00017-9
From Safety Verifcation to Safety Testing, Proc. Int'l Conf. Testing Comm. Systems (TestCom), 2004. ,
Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive Systems, Proc. Symp. Formal Methods Europe (FM), 2005. ,
DOI : 10.1007/11526841_14
URL : https://hal.archives-ouvertes.fr/inria-00483945
An Approach to Symbolic Test Generation, Proc. Int'l Conf. Integrating Formal Methods (IFM '00), pp.338-357, 2000. ,
DOI : 10.1007/3-540-40911-4_20
Symbolic Test Selection Based on Approximate Analysis, Proc. 11th Int'l Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '05), 2005. ,
DOI : 10.1007/978-3-540-31980-1_23
URL : https://hal.archives-ouvertes.fr/inria-00564617
Abstract interpretation, Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages , POPL '77, pp.238-252, 1977. ,
DOI : 10.1145/512950.512973
URL : https://hal.archives-ouvertes.fr/inria-00528590
Proof-checking a data link protocol, Proc. Conf. Types for Proofs and Programs (TYPES '94), pp.127-165, 1994. ,
DOI : 10.1007/3-540-58085-9_75
Introduction to IO Automata, CWI Quarterly, vol.3, issue.2, 1999. ,
A Practical Decision Procedure for Arithmetic with Function Symbols, Journal of the ACM, vol.26, issue.2, pp.351-360, 1979. ,
DOI : 10.1145/322123.322137
Testing Concurrent Systems: A Formal Approach, Proc. Conf. Conccurrency Theory (CONCUR '99, pp.46-65, 1999. ,
DOI : 10.1007/3-540-48320-9_6
Symbolic Determinisation of Extended Automata, Proc. Fourth IFIP Int'l Conf. Theoretical Computer Science, 2006. ,
DOI : 10.1007/978-0-387-34735-6_18
Symbolic Test Generation for Reactive Systems, Univ. of Rennes I, 2004. ,
URL : https://hal.archives-ouvertes.fr/tel-00142441
Peled, Model Checking, 1999. ,
STG: A Symbolic Test Generation Tool, Proc. Conf. Tools and Algorithms for the Construction and Analysis of Systems (TACAS '02, pp.470-475, 2002. ,
DOI : 10.1007/3-540-46002-0_34
Dynamic Partitioning in Linear Relation Analysis, Formal Methods in System Design, vol.23, issue.1, pp.5-37, 2003. ,
DOI : 10.1023/A:1024480913162