Raphaël Jakse, yliès Falcone, Jean-François Méhaut, Kevin Pouget. Interactive Runtime Verification - When Interactive Debugging meets Runtime Verification.
ISSRE17 - 28th International Symposium on Software Reliability Engineering , Oct 2017, Toulouse, France.
⟨hal-01592671⟩