Author of the publication

Automated oracle creation support, or: How I learned to stop worrying about fault propagation and love mutation testing.

, , and . ICSE, page 870-880. 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

Understanding user understanding: determining correctness of generated program invariants., , , and . ISSTA, page 188-198. ACM, (2012)The Impact of Concurrent Coverage Metrics on Testing Effectiveness., , , , and . ICST, page 232-241. IEEE Computer Society, (2013)Parallel symbolic execution for structural test generation., and . ISSTA, page 183-194. ACM, (2010)The Effect of Program and Model Structure on the Effectiveness of MC/DC Test Adequacy Coverage., , , , and . ACM Trans. Softw. Eng. Methodol., 25 (3): 25:1-25:34 (2016)The influence of multiple artifacts on the effectiveness of software testing.. ASE, page 517-522. ACM, (2010)Observable modified Condition/Decision coverage., , , , and . ICSE, page 102-111. IEEE Computer Society, (2013)On the Danger of Coverage Directed Test Case Generation., , , and . FASE, volume 7212 of Lecture Notes in Computer Science, page 409-424. Springer, (2012)A Flexible and Non-intrusive Approach for Computing Complex Structural Coverage Metrics., , , , and . ICSE (1), page 506-516. IEEE Computer Society, (2015)Programs, tests, and oracles: the foundations of testing revisited., , and . ICSE, page 391-400. ACM, (2011)Automated Oracle Data Selection Support., , , and . IEEE Trans. Software Eng., 41 (11): 1119-1137 (2015)