Author of the publication

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

Panel: Perspectives on Software Engineering., , , , and . ICSE, page 699-702. IEEE Computer Society, (2001)Summary: ICSE workshop on dynamic analysis (WODA 2003)., and . ACM SIGSOFT Softw. Eng. Notes, 28 (6): 4 (2003)How Tests and Proofs Impede One Another: The Need for Always-On Static and Dynamic Feedback.. TAP@TOOLS, volume 6143 of Lecture Notes in Computer Science, page 1-2. Springer, (2010)Mutation Analysis for the Real World: Effectiveness, Efficiency, and Proper Tool Support., , and . Software Engineering & Management, volume P-239 of LNI, page 53-54. GI, (2015)An Empirical Study of Fault Localization Families and Their Combinations., , , , and . IEEE Trans. Software Eng., 47 (2): 332-347 (2021)Inferring models of concurrent systems from logs of their behavior with CSight., , , and . ICSE, page 468-479. ACM, (2014)Automatic SAT-Compilation of Planning Problems., , and . IJCAI, page 1169-1177. Morgan Kaufmann, (1997)Javari: adding reference immutability to Java., and . OOPSLA, page 211-230. ACM, (2005)A Data Programming CS1 Course., , , , and . SIGCSE, page 150-155. ACM, (2015)Verifying that web pages have accessible layout., , , , and . PLDI, page 1-14. ACM, (2018)