Testing and reliability of logic programs. - Alireza Azem; Fevzi Belli; Oliver Jack; Piotr Jedrzejowicz (ISSRE, 1993)

Implementation-Based Analysis and Testing of Prolog Programs. - Fevzi Belli; Oliver Jack (ISSTA, 1993)

A Product Assurance Environment for Prolog. - Fevzi Belli; Oliver Jack (LPE, 1993)

Implementation-Oriented Testing and Reliability Determination of Prolog Programs. - Alireza Azem; Fevzi Belli; Oliver Jack (SEKE, 1993)

An Environment for Self-Testing of Logic Programs. - Fevzi Belli; Oliver Jack (IEA/AIE, 1994)

A test environment for Prolog. - Fevzi Belli; Oliver Jack (SEKE, 1994)

A test coverage notion for logic programming. - Fevzi Belli; Oliver Jack (ISSRE, 1995)

Software testing for conventional and logic programming. - Oliver Jack (de Gruyter, 1995)

Testing production system programs. - Grigoris Antoniou; Oliver Jack (ISSRE, 1998)

Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit. - Fevzi Belli; Matthias Grochtmann; Oliver Jack (Inform. Spektrum, 1998)

Declarative Paradigm of Test Coverage. - Fevzi Belli; Oliver Jack (Softw. Test. Verification Reliab., 1998)

Test von formalen Programmspezifikationen und Implikationen für den Test von Programmen. - Oliver Jack (ARCS Workshops, 1999)