 | 2009 |
|---|
| 6 |       | Delphine Longuet,
Marc Aiguier:
Integration Testing from Structured First-Order Specifications via Deduction Modulo.
ICTAC 2009: 261-276 |
| 2007 |
|---|
| 5 | | Delphine Longuet,
Marc Aiguier:
Specification-Based Testing for CoCasl's Modal Specifications.
CALCO 2007: 356-371 |
| 4 | | Marc Aiguier,
Agnès Arnould,
Pascale Le Gall,
Delphine Longuet:
Test Selection Criteria for Quantifier-Free First-Order Specifications.
FSEN 2007: 144-159 |
| 3 | | Marc Aiguier,
Delphine Longuet:
Test Selection Criteria for Modal Specifications of Reactive Systems.
TASE 2007: 159-170 |
| 2006 |
|---|
| 2 | | Marc Aiguier,
Diane Bahrami,
Delphine Longuet:
An Abstract Way to Define Rewriting Logic.
Electr. Notes Theor. Comput. Sci. 159: 205-226 (2006) |
| 2005 |
|---|
| 1 | | Marc Aiguier,
Pascale Le Gall,
Delphine Longuet,
Assia Touil:
A Temporal Logic for Input Output Symbolic Transition Systems.
APSEC 2005: 43-50 |
