Camille Constant

According to our database, Camille Constant authored at least 4 papers between 2007 and 2015.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2015

Use of Runtime Enforcement for the Test of Real-time Systems.

Louis-Marie Givel, Matthias Brun, Camille Constant, Sébastien Faucou, Olivier H. Roux

Proceedings of the 17th IEEE International Conference on High Performance Computing and Communications, 2015

2008

Génération automatique de tests pour des modèles avec variables ou récursivité.

Camille Constant

PhD thesis, 2008

2007

Integrating formal verification and conformance testing for reactive systems.

Camille Constant, Thierry Jéron, Hervé Marchand, Vlad Rusu

IEEE Trans. Software Eng., 2007

Automatic Test Generation from Interprocedural Specifications.

Camille Constant, Bertrand Jeannet, Thierry Jéron

Proceedings of the Testing of Software and Communicating Systems, 2007