François Degrave, Tom Schrijvers, Wim Vanhoof. Automatic Generation of Test Inputs for Mercury. In Michael Hanus, editor, Logic-Based Program Synthesis and Transformation, 18th International Symposium, LOPSTR 2008, Valencia, Spain, July 17-18, 2008, Revised Selected Papers. Volume 5438 of Lecture Notes in Computer Science, pages 71-86, Springer, 2008. [doi]
Abstract is missing.