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

Current challenges in automatic software repair., , and . Software Quality Journal, 21 (3): 421-443 (2013)Leveraging program equivalence for adaptive program repair: Models and first results., , and . ASE, page 356-366. IEEE, (2013)Using dynamic analysis to discover polynomial and array invariants., , , and . ICSE, page 683-693. IEEE Computer Society, (2012)Synthesizing API usage examples., and . ICSE, page 782-792. IEEE Computer Society, (2012)Exceptional situations and program reliability., and . ACM Trans. Program. Lang. Syst., 30 (2): 8:1-8:51 (2008)Software Mutational Robustness: Bridging The Gap Between Mutation Testing and Evolutionary Biology, , , , and . CoRR, (2012)The Surprising Creativity of Digital Evolution: A Collection of Anecdotes from the Evolutionary Computation and Artificial Life Research Communities., , , , , , , , , and 43 other author(s). CoRR, (2018)Dynamic Witnesses for Static Type Errors., , and . CoRR, (2016)CCured in the real world., , , , and . PLDI, page 232-244. ACM, (2003)Dynamic witnesses for static type errors (or, ill-typed programs usually go wrong)., , and . ICFP, page 228-242. ACM, (2016)