This cluster of papers encompasses a wide range of advancements in automated software testing techniques, including topics such as software fault localization, mutation testing, search-based testing, symbolic execution, test case prioritization, dynamic test generation, program repair, model-based testing, and fuzzing.