Testing Your (Static Analysis) Truths.

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

Browse the full LOPSTR paper archive.