research
∙
09/05/2023
Mind the Gap: The Difference Between Coverage and Mutation Score Can Guide Testing Efforts
An "adequate" test suite should effectively find all inconsistencies bet...
share
research
∙
09/28/2021
Learning to Superoptimize Real-world Programs
Program optimization is the process of modifying software to execute mor...
research
∙
08/13/2021
