| 1991 | ||
|---|---|---|
| 3 | Gregor von Bochmann, Anindya Das, Rachida Dssouli, Martin Dubuc, Abderrazak Ghedamsi, Gang Luo: Fault Models in Testing. Protocol Test Systems 1991: 17-30 | |
| 2 | Martin Dubuc, Rachida Dssouli, Gregor von Bochmann: TESTL: An Environment for Incremental Test Suite Design Based on Finite-State Models. Protocol Test Systems 1991: 195-206 | |
| 1990 | ||
| 1 | Martin Dubuc, Gregor von Bochmann, O. Bellal, F. Saba: Translation from TTCN to LOTOS and the Validation of Test Cases. FORTE 1990: 141-155 | |
| 1 | O. Bellal | [1] |
| 2 | Gregor von Bochmann | [1] [2] [3] |
| 3 | Anindya Das | [3] |
| 4 | Rachida Dssouli | [2] [3] |
| 5 | Abderrazak Ghedamsi | [3] |
| 6 | Gang Luo | [3] |
| 7 | F. Saba | [1] |