Instrumentation-Driven Evolution-Aware Runtime Verification.

Kevin Guan, Owolabi Legunsen

Browse the full ICSE paper archive.