Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification

Raphaël Jakse, Yliès Falcone, Jean-François Méhaut, Kevin Pouget. Interactive Runtime Verification - When Interactive Debugging Meets Runtime Verification. In 28th IEEE International Symposium on Software Reliability Engineering, ISSRE 2017, Toulouse, France, October 23-26, 2017. pages 182-193, IEEE Computer Society, 2017. [doi]

Authors

Raphaël Jakse

This author has not been identified. Look up 'Raphaël Jakse' in Google

Yliès Falcone

This author has not been identified. It may be one of the following persons: Look up 'Yliès Falcone' in Google

Jean-François Méhaut

This author has not been identified. Look up 'Jean-François Méhaut' in Google

Kevin Pouget

This author has not been identified. Look up 'Kevin Pouget' in Google