FocalTest: A Constraint Programming Approach for Property-Based Testing.

Matthieu Carlier, Catherine Dubois, Arnaud Gotlieb

Browse the full ICSoft paper archive.