Integrating Software Testing and Run-Time Checking in an Assertion Verification Framework.

Edison Mera, Pedro Lpez-Garca, Manuel V. Hermenegildo

Browse the full ICLP paper archive.