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

Inferring models of concurrent systems from logs of their behavior with CSight., , , and . ICSE, page 468-479. ACM, (2014)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)Summary: ICSE workshop on dynamic analysis (WODA 2003)., and . ACM SIGSOFT Softw. Eng. Notes, 28 (6): 4 (2003)An Empirical Study of Fault Localization Families and Their Combinations., , , , and . IEEE Trans. Software Eng., 47 (2): 332-347 (2021)Invariant inference for static checking., and . SIGSOFT FSE, page 11-20. ACM, (2002)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)Panel: Perspectives on Software Engineering., , , , and . ICSE, page 699-702. IEEE Computer Society, (2001)Automatic SAT-Compilation of Planning Problems., , and . IJCAI, page 1169-1177. Morgan Kaufmann, (1997)