Writing tests is great, and generating randomized tests even better... but we can push the techniques further still! What is a metamorphic relation good for? How could (should?) you use a SAT solver for tests? What about symbolic execution, guided fuzzing, delta debugging? Come and find out!
Sat Aug 3 13:30:00 2019 at C3.6