Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification.

Raphal Jakse, Ylis Falcone, Jean-Franois Mhaut, Kevin Pouget

Browse the full ISSRE paper archive.