Oliver Jack

12 papers A 4C 3Journal 2Unranked 2
YearRankTypeTitle / Venue / Authors
1999 — conf
Test von formalen Programmspezifikationen und Implikationen für den Test von Programmen.
ARCS Workshops
Oliver Jack
1998 J jnl
Declarative Paradigm of Test Coverage.
Softw. Test. Verification Reliab.
Fevzi Belli, Oliver Jack
1998 J jnl
Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit.
Inform. Spektrum
Fevzi Belli, Matthias Grochtmann, Oliver Jack
1998 A conf
Testing production system programs.
ISSRE
Grigoris Antoniou, Oliver Jack
1995 A conf
A test coverage notion for logic programming.
ISSRE
Fevzi Belli, Oliver Jack
1995 — —
Software testing for conventional and logic programming.
Oliver Jack
1994 C conf
A test environment for Prolog.
SEKE
Fevzi Belli, Oliver Jack
1994 C conf
An Environment for Self-Testing of Logic Programs.
IEA/AIE
Fevzi Belli, Oliver Jack
1993 — conf
A Product Assurance Environment for Prolog.
LPE
Fevzi Belli, Oliver Jack
1993 A conf
Implementation-Based Analysis and Testing of Prolog Programs.
ISSTA
Fevzi Belli, Oliver Jack
1993 C conf
Implementation-Oriented Testing and Reliability Determination of Prolog Programs.
SEKE
Alireza Azem, Fevzi Belli, Oliver Jack
1993 A conf
Testing and reliability of logic programs.
ISSRE
Alireza Azem, Fevzi Belli, Oliver Jack, Piotr Jedrzejowicz