"Extrapolate: generalizing counterexamples of functional test properties."

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