Black Box Testing: Techniques for Functional Testing of Software and Systems, IEEE Software, vol.13, issue.5, 1995. ,
DOI : 10.1109/MS.1996.536464
Testing Object-Oriented Systems: Models, Patterns , and Tools, 1999. ,
Testing Transition Systems: An Annotated Bibliography, Lecture Notes in Computer Science, pp.187-195, 2001. ,
DOI : 10.1007/3-540-45510-8_9
Proving Component Interoperability with B Refinement, Electronic Notes in Theoretical Computer Science, vol.160, pp.157-172, 2006. ,
DOI : 10.1016/j.entcs.2006.05.021
URL : https://hal.archives-ouvertes.fr/hal-00097553
On-the-fly Conformance Testing using SPIN. STTT, pp.382-393, 2000. ,
An Evaluation of Random Testing, IEEE Transactions on Software Engineering, vol.10, issue.4, 1984. ,
DOI : 10.1109/TSE.1984.5010257
An Introduction to Probability Theory and Its Applications, 1968. ,
An experiment in automatic generation of test suites for protocols with verification technology, Science of Computer Programming, vol.29, issue.1-2, pp.123-146, 1997. ,
DOI : 10.1016/S0167-6423(96)00032-9
URL : https://hal.archives-ouvertes.fr/inria-00073775
Using on-the-fly verification techniques for the generation of test suites, Computer Aided Verification, pp.348-359 ,
DOI : 10.1007/3-540-61474-5_82
URL : https://hal.archives-ouvertes.fr/inria-00073711
Towards a Theory of Testing: Data Selection Criteria, Current Trends in Programming Technology, pp.44-79 ,
SDL-and MSC-based Specification and Automated Test Case Generation for INAP. Telecommunication Systems, pp.265-290, 2002. ,
The STATEMATE semantics of statecharts, ACM Transactions on Software Engineering and Methodology, vol.5, issue.4, pp.293-333, 1996. ,
DOI : 10.1145/235321.235322
Component-Based Software Engineering, 2001. ,
DOI : 10.1007/b136248
Using UML Environment Models for Test Case Generation, Software Engineering 2008 -Workshopband, Lecture Notes in Informatics, 2008. ,
Design and Validation of Computer Protocols, 1991. ,
Finite Markov Chains, 1974. ,
Automated test generation from SDL specifications, SDL Forum, pp.135-152, 1999. ,
DOI : 10.1016/B978-044450228-5/50011-4
A Trustworthy Assembly of Components using the B Refinement. e-Informatica Software Engineering Journal, 2008. ,
Component Adaptation: Specification and Verification, Workshop on Component Oriented Programming, 2006. ,
URL : https://hal.archives-ouvertes.fr/inria-00074477
Criteria for generating specification-based tests, Proceedings Fifth IEEE International Conference on Engineering of Complex Computer Systems (ICECCS'99) (Cat. No.PR00434), 1999. ,
DOI : 10.1109/ICECCS.1999.802856
A protocol test generation procedure, Computer Networks and ISDN Systems, vol.15, issue.4, pp.285-297, 1988. ,
DOI : 10.1016/0169-7552(88)90064-5
Teager -Test Automation for UML State Machines, Software Engineering 2006, LNI P-79, pp.73-83, 2006. ,
Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten. Shaker Verlag Also: PhD dissertation, 2007. ,
Conformance Testing Based on UML State Machines, 2008. ,
DOI : 10.1007/978-3-540-88194-0_6
URL : https://hal.archives-ouvertes.fr/inria-00274399
The TEAGER Tool Suite. Test Execution and Generation Framework for Reactive Systems, 2008. ,
Protocol Conformance Testing Using Unique Input/Output Sequences Advanced Series in Electrical and Computer Engineering, 29] C. Szyperski. Component Software, Beyond Object- Oriented Programming, 1997. ,
A Markov chain model for statistical software testing, IEEE Transactions on Software Engineering, vol.20, issue.10, pp.812-824, 1994. ,
DOI : 10.1109/32.328991
Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, 1997. ,
DOI : 10.1145/267580.267590