| 2004 |
|---|
| 5 | EE | Lydie du Bousquet,
Farid Ouabdesselam,
Jean-Luc Richier,
Nicolas Zuanon:
Testing Against Some Eventuality Properties of Synchronous Software: A Case Study.
Electr. Notes Theor. Comput. Sci. 88: 105-121 (2004) |
| 2000 |
|---|
| 4 | EE | Lydie du Bousquet,
Farid Ouabdesselam,
Jean-Luc Richier,
Nicolas Zuanon:
Feature interaction detection using a synchronous approach and testing.
Computer Networks 32(4): 419-431 (2000) |
| 1999 |
|---|
| 3 | EE | Lydie du Bousquet,
Nicolas Zuanon:
An Overview of Lutess: A Specification-based Tool for Testing Synchronous Software.
ASE 1999: 208-215 |
| 2 | EE | Lydie du Bousquet,
Farid Ouabdesselam,
Jean-Luc Richier,
Nicolas Zuanon:
Lutess: A Specification-Driven Testing Environment for Synchronous Software.
ICSE 1999: 267-276 |
| 1998 |
|---|
| 1 | | Lydie du Bousquet,
Farid Ouabdesselam,
Jean-Luc Richier,
Nicolas Zuanon:
Incremental Feature Validation: a Synchronous Point of View.
FIW 1998: 262-275 |
