Author of the publication

Automated repair of HTML generation errors in PHP applications using string constraint solving.

, , , , , and . ICSE, page 277-287. IEEE Computer Society, (2012)

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

Repairing event race errors by controlling nondeterminism., , , , , and . ICSE, page 289-299. IEEE / ACM, (2017)Refactoring Using Type Constraints.. SAS, volume 4634 of Lecture Notes in Computer Science, page 1-17. Springer, (2007)Trace Typing: An Approach for Evaluating Retrofitted Type Systems., , , , , and . ECOOP, volume 56 of LIPIcs, page 1:1-1:26. Schloss Dagstuhl - Leibniz-Zentrum für Informatik, (2016)Dynamic dependence in term rewriting systems and its application to program slicing., and . Inf. Softw. Technol., 40 (11-12): 609-636 (1998)Slicing Class Hierarchies in C++., , , and . OOPSLA, page 179-197. ACM, (1996)SIGPLAN Notices 31(10).Scalable propagation-based call graph construction algorithms., and . OOPSLA, page 281-293. ACM, (2000)SIGPLAN Notices 34.Refactoring Java programs for flexible locking., , , and . ICSE, page 71-80. ACM, (2011)Associating synchronization constraints with data in an object-oriented language., , and . POPL, page 334-345. ACM, (2006)Efficient construction of approximate call graphs for JavaScript IDE services., , , , and . ICSE, page 752-761. IEEE Computer Society, (2013)Declarative Object Identity Using Relation Types., , , and . ECOOP, volume 4609 of Lecture Notes in Computer Science, page 54-78. Springer, (2007)