B. Beizer, Black Box Testing: Techniques for Functional Testing of Software and Systems, IEEE Software, vol.13, issue.5, 1995.
DOI : 10.1109/MS.1996.536464

R. V. Binder, Testing Object-Oriented Systems: Models, Patterns , and Tools, 1999.

E. Brinksma and J. Tretmans, Testing Transition Systems: An Annotated Bibliography, Lecture Notes in Computer Science, pp.187-195, 2001.
DOI : 10.1007/3-540-45510-8_9

S. Chouali, M. Heisel, and J. Souquì-eres, 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

R. G. De-vries and J. Tretmans, On-the-fly Conformance Testing using SPIN. STTT, pp.382-393, 2000.

J. W. Duran and S. C. Ntafos, An Evaluation of Random Testing, IEEE Transactions on Software Engineering, vol.10, issue.4, 1984.
DOI : 10.1109/TSE.1984.5010257

W. Feller, An Introduction to Probability Theory and Its Applications, 1968.

J. Fernandez, C. Jard, T. Jeron, and C. Viho, 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

J. Fernandez, C. Jard, T. Jeron, and G. Viho, 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

J. B. Goodenough and S. Gehart, Towards a Theory of Testing: Data Selection Criteria, Current Trends in Programming Technology, pp.44-79

J. Grabowski and D. Hogrefe, SDL-and MSC-based Specification and Automated Test Case Generation for INAP. Telecommunication Systems, pp.265-290, 2002.

D. Harel and A. Naamad, 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

G. T. Heineman and W. T. , Component-Based Software Engineering, 2001.
DOI : 10.1007/b136248

M. Heisel, D. Hartebur, T. Santen, and D. Seifert, Using UML Environment Models for Test Case Generation, Software Engineering 2008 -Workshopband, Lecture Notes in Informatics, 2008.

G. J. Holzmann, Design and Validation of Computer Protocols, 1991.

J. G. Kemeny, J. L. Snell, and G. Thompson, Finite Markov Chains, 1974.

A. Kerbrat, T. Jéron, and R. Groz, Automated test generation from SDL specifications, SDL Forum, pp.135-152, 1999.
DOI : 10.1016/B978-044450228-5/50011-4

A. Lanoix and J. Souquì-eres, A Trustworthy Assembly of Components using the B Refinement. e-Informatica Software Engineering Journal, 2008.

I. Mouakher, A. Lanoix, and J. Souquì-eres, Component Adaptation: Specification and Verification, Workshop on Component Oriented Programming, 2006.
URL : https://hal.archives-ouvertes.fr/inria-00074477

A. J. Offutt, Y. Xiong, and S. Liu, 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

K. K. Sabnani and A. T. Dahbura, 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

T. Santen and D. Seifert, Teager -Test Automation for UML State Machines, Software Engineering 2006, LNI P-79, pp.73-83, 2006.

D. Seifert, Automatisiertes Testen asynchroner nichtdeterministischer Systeme mit Daten. Shaker Verlag Also: PhD dissertation, 2007.

D. Seifert, 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

D. Seifert, The TEAGER Tool Suite. Test Execution and Generation Framework for Reactive Systems, 2008.

X. Sun, C. Feng, Y. Shen, and F. Lombardi, 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.

J. A. Whittaker and M. G. Thomason, 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

H. Zhu and M. , Software unit test coverage and adequacy, ACM Computing Surveys, vol.29, issue.4, 1997.
DOI : 10.1145/267580.267590