SCEAS

The SCEAS System

Title:
Author:

Oliver Jack: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

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

Search in 0.001secs, Finished in 0.002secs

NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades

NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP