Tyche: In Situ Analysis of Random Testing Effectiveness
Harrison Goldstein, Benjamin C. Pierce, Andrew J. Head · 2023
Automated testing tools have adapted to increasing program complexity by reducing the user’s role in the testing process. Approaches like property-based testing supplement traditional unit-testing with a mode declarative approach: rather than write traditional input-output examples, the user writes executable specifications of their programs. The testing framework then exercises those specifications with randomly generated values.