| 2008 |
|---|
| 10 | EE | Mathieu Poudret,
Agnès Arnould,
Jean-Paul Comet,
Pascale Le Gall:
Graph Transformation for Topology Modelling.
ICGT 2008: 147-161 |
| 2007 |
|---|
| 9 | EE | Marc Aiguier,
Agnès Arnould,
Pascale Le Gall,
Delphine Longuet:
Test Selection Criteria for Quantifier-Free First-Order Specifications.
FSEN 2007: 144-159 |
| 2006 |
|---|
| 8 | EE | Agnès Arnould,
Laurent Fuchs,
Marc Aiguier,
Thibaud Brunet:
Automatic Generation of Functional Programs from CASL Specifications.
ICSEA 2006: 34 |
| 2005 |
|---|
| 7 | EE | Marc Aiguier,
Agnès Arnould,
Clément Boin,
Pascale Le Gall,
Bruno Marre:
Testing from Algebraic Specifications: Test Data Set Selection by Unfolding Axioms.
FATES 2005: 203-217 |
| 2002 |
|---|
| 6 | EE | Franck Ledoux,
Jean-Marc Mota,
Agnès Arnould,
Catherine Dubois,
Pascale Le Gall,
Yves Bertrand:
Spécifications formelles du chanfreinage.
Technique et Science Informatiques 21(8): 1073-1098 (2002) |
| 5 | EE | Agnès Arnould,
Pascale Le Gall:
Test de conformité : une approche algébrique.
Technique et Science Informatiques 21(9): 1219-1242 (2002) |
| 2001 |
|---|
| 4 | EE | Franck Ledoux,
Agnès Arnould,
Pascale Le Gall,
Yves Bertrand:
Geometric Modelling with CASL.
WADT 2001: 176-200 |
| 2000 |
|---|
| 3 | EE | Bruno Marre,
Agnès Arnould:
Test Sequences Generation from LUSTRE Descriptions: GATeL.
ASE 2000: 229- |
| 1996 |
|---|
| 2 | | Agnès Arnould,
Pascale Le Gall,
Bruno Marre:
Dynamic Testing from Bounded Data Type Specifications.
EDCC 1996: 285-302 |
| 1995 |
|---|
| 1 | | Pascale Le Gall,
Agnès Arnould:
Formal Specifications and Test: Correctness and Oracle.
COMPASS/ADT 1995: 342-358 |
