Author of the publication

Finding Latent Code Errors via Machine Learning over Program Executions.

, and . ICSE, page 480-490. IEEE Computer Society, (2004)

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

Software Engineering for Self-Adaptive Systems: A Second Research Roadmap, , , , , , , , , and 32 other author(s). Software Engineering for Self-Adaptive Systems II, volume 7475 of Lecture Notes in Computer Science, Springer Berlin Heidelberg, (2013)Using dynamic execution traces and program invariants to enhance behavioral model inference., , , , and . ICSE (2), page 179-182. ACM, (2010)978-1-60558-719-6.Synoptic: studying logged behavior with inferred models., , , and . SIGSOFT FSE, page 448-451. ACM, (2011)Challenges in Composing and Decomposing Assurances for Self-Adaptive Systems., , , , , , , , and . Software Engineering for Self-Adaptive Systems, volume 9640 of Lecture Notes in Computer Science, page 64-89. Springer, (2013)Automatically Repairing Programs Using Both Tests and Bug Reports., and . CoRR, (2020)Entrusting Private Computation and Data to Untrusted Networks., and . IEEE Trans. Dependable Secur. Comput., 10 (4): 225-238 (2013)Improving Efficiency of 3-SAT-Solving Tile Systems.. DNA, volume 6518 of Lecture Notes in Computer Science, page 1-12. Springer, (2010)Baldur: Whole-Proof Generation and Repair with Large Language Models., , , and . ESEC/SIGSOFT FSE, page 1229-1241. ACM, (2023)Supporting Undo and Redo in Scientific Data Analysis., , , , and . TaPP, USENIX Association, (2013)Improving IDE recommendations by considering global implications of existing recommendations., , , , and . ICSE, page 1349-1352. IEEE Computer Society, (2012)