Author of the publication

Steering model-based oracles to admit real program behaviors.

, , and . ICSE Companion, page 428-431. ACM, (2014)

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

Efficient observability-based test generation by dynamic symbolic execution., , , , and . ISSRE, page 228-238. IEEE Computer Society, (2015)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)Generating Effective Test Suites by Combining Coverage Criteria.. SSBSE, volume 10452 of Lecture Notes in Computer Science, page 65-82. Springer, (2017)Understanding Problem Solving in Software Testing: An Exploration of Tester Routines and Behavior., , , and . ICTSS, volume 14131 of Lecture Notes in Computer Science, page 143-159. Springer, (2023)How Closely are Common Mutation Operators Coupled to Real Faults?, and . ICST, page 129-140. IEEE, (2023)Implications of ceiling effects in defect predictors., , , , , and . PROMISE@ICSE, page 47-54. ACM, (2008)Improving the accuracy of oracle verdicts through automated model steering., , and . ASE, page 527-538. ACM, (2014)Learning how to search: generating effective test cases through adaptive fitness function selection., and . Empir. Softw. Eng., 27 (2): 38 (2022)Sharing experiments using open-source software., , and . Softw. Pract. Exp., 41 (3): 283-305 (2011)Search-Based Test Generation Targeting Non-Functional Quality Attributes of Android Apps., , and . GECCO, page 1518-1526. ACM, (2023)