2005 |
8 | EE | Laya Madani,
Catherine Oriat,
Ioannis Parissis,
Jullien Bouchet,
Laurence Nigay:
Synchronous Testing of Multimodal Systems: An Operational Profile-Based Approach.
ISSRE 2005: 325-334 |
7 | EE | Catherine Oriat:
Jartege: A Tool for Random Generation of Unit Tests for Java Classes.
QoSA/SOQUA 2005: 242-256 |
2004 |
6 | EE | Lydie du Bousquet,
Yves Ledru,
Olivier Maury,
Catherine Oriat,
Jean-Louis Lanet:
Case Study in JML-Based Software Validation.
ASE 2004: 294-297 |
5 | EE | Catherine Oriat:
Jartege: a Tool for Random Generation of Unit Tests for Java Classes
CoRR abs/cs/0412012: (2004) |
2001 |
4 | EE | Yves Ledru,
Lydie du Bousquet,
Pierre Bontron,
Olivier Maury,
Catherine Oriat,
Marie-Laure Potet:
Test Purposes: Adapting the Notion of Specification to Testing.
ASE 2001: 127-134 |
2000 |
3 | EE | Catherine Oriat:
Detecting equivalence of modular specifications with categorical diagrams.
Theor. Comput. Sci. 247(1-2): 141-190 (2000) |
1995 |
2 | | Catherine Oriat:
Detecting Isomorphisms of Modular Specifications with Diagrams.
AMAST 1995: 184-198 |
1 | | Didier Bert,
Catherine Oriat:
A Model Inference System for Generic Specification with Application to Code Sharing.
TAPSOFT 1995: 741-755 |