Injecting mechanical faults to localize developer faults for evolving software

L Zhang, L Zhang, S Khurshid - ACM SIGPLAN Notices, 2013 - dl.acm.org
This paper presents a novel methodology for localizing faults in code as it evolves. Our
insight is that the essence of failure-inducing edits made by the developer can be captured …

Operator-based and random mutant selection: Better together

L Zhang, M Gligoric, D Marinov… - 2013 28th IEEE/ACM …, 2013 - ieeexplore.ieee.org
Mutation testing is a powerful methodology for evaluating the quality of a test suite. However,
the methodology is also very costly, as the test suite may have to be executed for each …

Selective mutation testing for concurrent code

M Gligoric, L Zhang, C Pereira, G Pokam - Proceedings of the 2013 …, 2013 - dl.acm.org
Concurrent code is becoming increasingly important with the advent of multi-cores, but
testing concurrent code is challenging. Researchers are developing new testing techniques …

[引用][C] Regression Test-Suite Reduction: Looking into the Future

A Shi, A Gyori