Techniques for Evolution-Aware Runtime Verification.

Owolabi Legunsen, Yi Zhang, Milica Hadzi-Tanovic, Grigore Rosu, Darko Marinov

Browse the full ICST paper archive.