Instrumentation of Intermediate Code for Runtime Verification.

Ann Q. Gates, Oscar Mondragon, Mary Payne, Steve Roach

Browse the full SEW paper archive.