"In Silico" Research: Software Engineering to the Rescue Research Methods in Computer Science and Software Engineering MUT4SLX: Extensions for Mutation Testing of Stateflow Models AI For Software Engineering: Two Industrial Experience Reports Test Amplification in Python — An Industrial Experience Report Technical Debt in Start-ups / Scale-Ups Social Coding Platforms Facilitate Variant Forks Finding Bugs, Fixing Bugs, Preventing Bugs - Exploiting Automated Tests to Increase Reliability VST2022SmallAmpAmpyfier.pdf Formal Verification of Developer Tests: a Research Agenda Inspired by Mutation Testing Reproducible Crashes: Fuzzing Pharo by Mutating the Test Methods Finding Bugs, Fixing Bugs, Preventing Bugs — Exploiting Automated Tests to Increase Reliability Test Automation Maturity: A Self-Assessment Tool Keynote VST2020 (Workshop on Validation, Analysis and Evolution of Software Tests) Saner open steeringcommittee2018campobassodoubleblind