A. P. and D. W. Xu-d, Using a Model Checker to Test Safety Properties, ICECCS'01, 7-th Int. Conf. on Engineering of Complex Computer Systems, 2001.

. B. Beizer, . Black-box, and . Testing, Techniques for Functional Testing of Software and Systems, 1995.

F. Bouquet, . Legeard-b, «. Peureux-f, and . Clps-b, CLPS???B ??? A constraint solver to animate a B specification, International Journal on Software Tools for Technology Transfer, vol.7, issue.2, pp.143-157, 2004.
DOI : 10.1007/s10009-003-0123-8

F. Bouquet, G. J. Dadeau-f, and J. J. , Safety Property Driven Test Generation from JML Specifications, 1st Int. WS on Formal Approaches to Testing and Runtime Verification, pp.225-239, 2006.
DOI : 10.1007/11940197_15
URL : https://hal.archives-ouvertes.fr/hal-00563280

C. C. , G. W. Nachmanson-l, . Schulte-w, V. M. Tillmann-n, F. J. et al., « Testing Concurrent Object-Oriented Systems with Spec Explorer, International Symposium of Formal Methods Europe (FM'05), pp.542-547, 2005.

C. D. , J. T. , R. V. Zinovieva-e, and «. Stg, a tool for generating symbolic test programs and oracles from operational specifications, Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering, pp.301-302, 2001.

D. F. De and . Tissot-r, Combining Scenario-and Model-Based Testing to ensure POSIX Compliance, International Conference on ASM, B and Z LNCS, vol.5238, pp.153-166, 2008.
URL : https://hal.archives-ouvertes.fr/inria-00329965

D. M. Avrunin-g and C. J. , « Patterns in property specifications for finite-state verification, ICSE '99 : Proceedings of the 21st international conference on Software engineering, pp.411-420, 1999.

F. G. Wotawa-f, « Using Model-Checkers to Generate and Analyze Property Relevant Test- Cases, Software Quality Journal, vol.16, pp.161-183, 2008.

. A. Gargantini and . Heitmeyer-c, « Using Model Checking to Generate Tests from Requirements Specifications, Procs of the Joint 7th Eur. Software Engineering Conference and 7th ACM SIGSOFT Int. Symp. on Foundations of Software Engineering, 1999.
DOI : 10.1007/3-540-48166-4_10
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.12.4134

H. H. , L. I. Sokolsky-o, and U. H. , Temporal Logic Based Theory of Test Coverage and Generation, TACAS'02, 8th Int. Conf. on Tools and Algorithms for the Construction and Analysis of Systems, pp.327-341, 2002.

J. E. Legeard-b, «. Leirios-test, and . Generator, Automated Test Generation from B Models, the 7th Int. B Conference, pp.277-281, 2007.

J. J. Masson-p.-a and . Tissot-r, Generating Security Tests in Addition to Functional Tests, AST'08, 3rd Int. workshop on Automation of Software Test, pp.41-44, 2008.

J. J. Masson-p.-a, P. , and J. E. Debois-g, « Automatic Generation of Model Based Tests for a Class of Security Properties », A-MOST'07, pp.12-22, 2007.

. L. Tan and L. I. Sokolsky-o, « Specification-based Testing with Linear Temporal Logic », IRI', IEEE Int. Conf. on Information Reuse and Integration, pp.413-498, 2004.