Author of the publication

Implementation-Oriented Testing and Reliability Determination of Prolog Programs.

, , and . SEKE, page 526-533. Knowledge Systems Institute, (1993)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

 

Other publications of authors with the same name

WG1: Testmethoden für Software - Von der Forschung in die Praxis., and . Software Engineering, volume P-105 of LNI, page 273-274. GI, (2007)Heterogeneous Modeling and Testing of Software Product Lines., , and . QRS Companion, page 1079-1088. IEEE, (2021)A Product Assurance Environment for Prolog., and . LPE, page 94-99. IRISA, Campus de Beaulieu, France, (1993)Mutation Operators for Decision Table-Based Contracts Used in Software Testing., , and . UYMS, page 1-6. IEEE, (2020)Dependability and Software Reuse - Coupling Them by an Industrial Standard.. SERE (Companion), page 145-154. IEEE, (2013)Testen Web-basierter Systeme mittels strukturierter, graphischer Modelle - Vergleich anhand einer Fallstudie., , , and . GI Jahrestagung (2), volume P-94 of LNI, page 266-273. GI, (2006)Message from the STA 2015 Workshop Organizers., and . COMPSAC Workshops, page 416. IEEE Computer Society, (2015)Software Reliability Engineering -- Risks, Challenges and Chances for Product and Process Improvement.. EUROMICRO, page 4. IEEE Computer Society, (2001)Directed Acyclic Graph Modeling of Security Policies for Firewall Testing., , , and . SSIRI, page 393-398. IEEE Computer Society, (2009)Testing and reliability of logic programs., , , and . ISSRE, page 318-327. IEEE Computer Society, (1993)