Author of the publication

Mutation Testing of "Go-Back" Functions Based on Pushdown Automata.

, , , and . ICST, page 249-258. IEEE Computer Society, (2011)

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

A Product Assurance Environment for Prolog., and . LPE, page 94-99. IRISA, Campus de Beaulieu, France, (1993)Dependability and Software Reuse - Coupling Them by an Industrial Standard.. SERE (Companion), page 145-154. IEEE, (2013)Mutation Operators for Decision Table-Based Contracts Used in Software Testing., , and . UYMS, page 1-6. IEEE, (2020)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)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)Testing and reliability of logic programs., , , and . ISSRE, page 318-327. IEEE Computer Society, (1993)A test coverage notion for logic programming., and . ISSRE, page 133-142. IEEE Computer Society, (1995)Message from the STA 2015 Workshop Organizers., and . COMPSAC Workshops, page 416. IEEE Computer Society, (2015)Directed Acyclic Graph Modeling of Security Policies for Firewall Testing., , , and . SSIRI, page 393-398. IEEE Computer Society, (2009)