C. Ballarin, Locales: A module system for mathematical theories, J. Autom. Reasoning, vol.52, issue.2, pp.123-153, 2014.

N. Bjørner, K. Havelund, J. Peleska, B. Roscoe, and V. De, Formal Methods -22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC, vol.10951, pp.675-678, 2018.

A. D. Brucker and B. Wolff, Interactive testing with HOL-TestGen, Formal Approaches to Software Testing, 5th International Workshop, FATES 2005, vol.3997, pp.87-102, 2005.

,

A. D. Brucker and B. Wolff, On theorem prover-based testing, Formal Asp. Comput, vol.25, issue.5, pp.683-721, 2013.

J. Brunner, Transition systems and automata. Archive of Formal Proofs, 2017.

R. Dorofeeva, K. El-fakih, and N. Yevtushenko, An improved conformance testing method, Formal Techniques for Networked and Distributed Systems -FORTE 2005, 25th IFIP WG 6.1 International Conference, vol.3731, pp.204-218, 2005.

R. M. Hierons, Testing from a nondeterministic finite state machine using adaptive state counting, IEEE Trans. Computers, vol.53, issue.10, pp.1330-1342, 2004.

G. Luo, G. Von-bochmann, and A. Petrenko, Test selection based on communicating nondeterministic finite-state machines using a generalized wp-method, IEEE Trans. Software Eng, vol.20, issue.2, pp.149-162, 1994.

T. Nipkow, L. C. Paulson, and M. Wenzel, Isabelle/HOL -A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, vol.2283, 2002.

J. Peleska, J. Brauer, and W. Huang, Model-based testing for avionic systems proven benefits and further challenges, Leveraging Applications of Formal Methods, Verification and Validation. Industrial Practice -8th International Symposium, vol.11247, pp.82-103, 2018.

J. Peleska and W. Huang, Test Automation -Foundations and Applications of Model-based Testing, lecture notes, 2017.

J. Peleska, E. Vorobev, and F. Lapschies, Automated test case generation with SMTsolving and abstract interpretation, Nasa Formal Methods, Third International Symposium, vol.6617, pp.298-312, 2011.

A. Petrenko and N. Yevtushenko, Adaptive testing of deterministic implementations specified by nondeterministic FSMs, 7019 in Lecture Notes in Computer Science, pp.162-178, 2011.
URL : https://hal.archives-ouvertes.fr/hal-01583921

A. Petrenko, N. Yevtushenko, and G. V. Bochmann, Testing deterministic implementations from nondeterministic FSM specifications, Testing of Communicating Systems, IFIP TC6 9th International Workshop on Testing of Communicating Systems, pp.125-141, 1996.

A. Petrenko and N. Yevtushenko, Adaptive testing of nondeterministic systems with FSM, 15th International IEEE Symposium on High-Assurance Systems Engineering, pp.224-228, 2014.

M. Wenzel and . Isabelle, Isar -a versatile environment for human readable formal proof documents, 2002.