 | 1999 |
|---|
| 8 |       | Oliver Jack:
Test von formalen Programmspezifikationen und Implikationen für den Test von Programmen.
ARCS Workshops 1999: 99-107 |
| 1998 |
|---|
| 7 |  | Fevzi Belli,
Matthias Grochtmann,
Oliver Jack:
Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit.
Informatik Spektrum 21(3): 131-140 (1998) |
| 6 | | Fevzi Belli,
Oliver Jack:
Declarative Paradigm of Test Coverage.
Softw. Test., Verif. Reliab. 8(1): 15-47 (1998) |
| 1994 |
|---|
| 5 | | Fevzi Belli,
Oliver Jack:
An Environment for Self-Testing of Logic Programs.
IEA/AIE 1994: 29-36 |
| 4 | | Fevzi Belli,
Oliver Jack:
A test environment for Prolog.
SEKE 1994: 430-437 |
| 1993 |
|---|
| 3 | | Fevzi Belli,
Oliver Jack:
Implementation-Based Analysis and Testing of Prolog Programs.
ISSTA 1993: 70-80 |
| 2 | | Fevzi Belli,
Oliver Jack:
A Product Assurance Environment for Prolog.
LPE 1993: 94-99 |
| 1 | | Alireza Azem,
Fevzi Belli,
Oliver Jack:
Implementation-Oriented Testing and Reliability Determination of Prolog Programs.
SEKE 1993: 526-533 |
