An Integrated Approach to Assertion-Based Random Testing in Prolog.

Ignacio Casso, Jos F. Morales, Pedro Lpez-Garca, Manuel V. Hermenegildo

Browse the full LOPSTR paper archive.