"FitSpec: refining property sets for functional testing."

Rudy Braquehais, Colin Runciman (2016)
a service of Schloss Dagstuhl - Leibniz Center for Informatics