| |
| 1986 | ||
|---|---|---|
| 3 | EE | Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel: Test sets generation from algebraic specifications using logic programming. Journal of Systems and Software 6(4): 343-360 (1986) |
| 1985 | ||
| 2 | N. Choquet, Laurent Fribourg, A. Mauboussin: Runnable protocol specifications using the logic interpreter SLOG. PSTV 1985: 149-168 | |
| 1 | Luc Bougé, N. Choquet, Laurent Fribourg, Marie-Claude Gaudel: Application of Prolog to Test Sets Generation from Algebraic Specifications. TAPSOFT, Vol.2 1985: 261-275 | |
| 1 | Luc Bougé | [1] [3] |
| 2 | Laurent Fribourg | [1] [2] [3] |
| 3 | Marie-Claude Gaudel | [1] [3] |
| 4 | A. Mauboussin | [2] |