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] |