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

, Formal Methods -22nd International Symposium, FM 2018, Held as Part of the Federated Logic Conference, FloC, vol.10951, pp.675-678, 2018.

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

,

On theorem prover-based testing, Formal Asp. Comput, vol.25, issue.5, pp.683-721, 2013. ,

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

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

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

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

Isabelle/HOL -A Proof Assistant for Higher-Order Logic, Lecture Notes in Computer Science, vol.2283, 2002. ,

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

Test Automation -Foundations and Applications of Model-based Testing, lecture notes, 2017. ,

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

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

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

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

Isar -a versatile environment for human readable formal proof documents, 2002. ,