author-photo

Camille Constant

French Institute for Research in Computer Science and Automation

6

Papers

58

Citations

Citation Trend

Filter By

Papers (5) Sort By

Journal Conference Others

Validation of Reactive Systems by Means of Verification and Conformance Testing

2010
Show All
- Source
- Cite
- Save
Citations (1)
Validation of Reactive Systems

2008
Show All
- Source
- Cite
- Save
Citations (2)
Automatic test generation from interprocedural specifications

2007
Show All
- Source
- Cite
- Save
Citations (7)
Integrating formal verification and conformance testing for reactive systems

2007 IEEE Transactions on Software Engineering
Show All
- Source
- Cite
- Save
Citations (48)
Verification models and techniques applied to the Testing and Control of reactive Systems

2003
Show All
- Source
- Cite
- Save
Citations (0)