Property-driven testing of black-box functions
Arnab Sharma, Vitalik Melnikov, Eyke Hüllermeier, Heike Wehrheim · 2022
Testing is one of the most frequent means of quality assurance for software. Property-based testing aims at generating test suites for checking code against user-defined properties. Test input generation is, however, most often independent of the property to be checked, and is instead based on random or user-defined data generation.