"Automatic Generation of Test Inputs for Mercury."

François Degrave, Tom Schrijvers, Wim Vanhoof (2008)
a service of Schloss Dagstuhl - Leibniz Center for Informatics