Oliver Jack

According to our database, Oliver Jack authored at least 12 papers between 1993 and 1999.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of five.

1999

Test von formalen Programmspezifikationen und Implikationen für den Test von Programmen.

Oliver Jack

Proceedings of the Workshops zur Architektur von Rechensystemen, 1999

1998

Declarative Paradigm of Test Coverage.

Fevzi Belli, Oliver Jack

Softw. Test. Verification Reliab., 1998

Erprobte Modelle zur Quantifizierung der Software-Zuverlässigkeit.

Fevzi Belli, Matthias Grochtmann, Oliver Jack

Inform. Spektrum, 1998

Testing production system programs.

Grigoris Antoniou, Oliver Jack

Proceedings of the Ninth International Symposium on Software Reliability Engineering, 1998

1995

Software testing for conventional and logic programming.

Oliver Jack

PhD thesis, 1995

A test coverage notion for logic programming.

Fevzi Belli, Oliver Jack

Proceedings of the Sixth International Symposium on Software Reliability Engineering, 1995

1994

A test environment for Prolog.

Fevzi Belli, Oliver Jack

Proceedings of the SEKE'94, 1994

An Environment for Self-Testing of Logic Programs.

Fevzi Belli, Oliver Jack

Proceedings of the Seventh International Conference on Industrial and Engineering Applications of Artificial Intelligence and Expert Systems, 1994

1993

Implementation-Oriented Testing and Reliability Determination of Prolog Programs.

Alireza Azem, Fevzi Belli, Oliver Jack

Proceedings of the SEKE'93, 1993

A Product Assurance Environment for Prolog.

Fevzi Belli, Oliver Jack

Proceedings of the 5th Workshop on Logic Programming Environments (LPE 1993), 1993

Implementation-Based Analysis and Testing of Prolog Programs.

Fevzi Belli, Oliver Jack

Proceedings of the 1993 International Symposium on Software Testing and Analysis, 1993

Testing and reliability of logic programs.

Alireza Azem, Fevzi Belli, Oliver Jack, Piotr Jedrzejowicz

Proceedings of the Fourth International Symposium on Software Reliability Engineering, 1993