The following publications are possibly variants of this publication:
- Automatic Verification and Conformance Testing for Validating Safety Properties of Reactive SystemsVlad Rusu, Hervé Marchand, Thierry Jéron. FM 2005: 189-204 [doi]
- From Safety Verification to Safety TestingVlad Rusu, Hervé Marchand, Valéry Tschaen, Thierry Jéron, Bertrand Jeannet. In TestCom 2004. 2004: 160-176 [doi]
- Ensuring the conformance of reactive discrete-event systems by means of supervisory controlJeron, T., Marchand, H., Vlad Rusu, Tschaen, V.. International Journal of Production Research, 42(14), 2004.
- Combining formal verification and conformance testing for validating reactive systemsVlad Rusu. stvr, 13(3):157-180, 2003. [doi]
- An Approach to Symbolic Test GenerationVlad Rusu, Lydie du Bousquet, Thierry Jéron. IFM 2000: 338-357 [doi]
- Model-Based Test Selection for Infinite-State Reactive SystemsBertrand Jeannet, Thierry Jéron, Vlad Rusu. FMCO 2007: 47-69 [doi]
- STG: A Symbolic Test Generation ToolDuncan Clarke, Thierry Jéron, Vlad Rusu, Elena Zinovieva. TACAS 2002: 470-475 [doi]
- Integrating Verification, Testing, and Learning for Cryptographic ProtocolsMartijn Oostdijk, Vlad Rusu, Jan Tretmans, René G. de Vries, Tim A. C. Willemse. IFM 2007: 538-557 [doi]
- An Approach to Symbolic Test GenerationVlad Rusu, Lydie du Bousquet, Thierry Jéron. Preprint 2000.