2 papers
cs.SE2025
Harden and Catch for Just-in-Time Assured LLM-Based Software Testing: Open Research Challenges
Mark Harman, Peter O'Hearn, Shubho Sengupta
Despite decades of research and practice in automated software testing, several fundamental concepts remain ill-defined and under-explored, yet offer enormous potential real-world…
cs.SE2025
Mutation-Guided LLM-based Test Generation at Meta
Christopher Foster, Abhishek Gulati, Mark Harman +5
This paper describes Meta's ACH system for mutation-guided LLM-based test generation. ACH generates relatively few mutants (aka simulated faults), compared to traditional mutation…