"Resource-Driven CLP-Based Test Case Generation."

Elvira Albert, Miguel Gómez-Zamalloa, José Miguel Rojas (2011)
a service of Schloss Dagstuhl - Leibniz Center for Informatics