On the Effectiveness of Run-Time Checks.

Meine van der Meulen, Lorenzo Strigini, Miguel A. Revilla

Browse the full SAFECOMP paper archive.