An intuitive approach to determine test adequacy in safety-critical software
Automated Modularization of GUI Test Cases
Sound Empirical Evidence in Software Testing
Dynamic test input generation for web applications
Quality and Productivity Outcomes Relating to Continuous Integration in GitHub
Is the Cure Worse Than the Disease? Overfitting in Automated Program Repair
Steering model-based oracles to admit real program behaviors
Improving the accuracy of oracle verdicts through automated model steering
Automated Oracle Data Selection Support
Pex: white box test generation for .NET