![](/img/cover-not-exists.png)
[IEEE 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) - Toulouse (2017.10.23-2017.10.26)] 2017 IEEE 28th International Symposium on Software Reliability Engineering (ISSRE) - Interactive Runtime Verification — When Interactive Debugging Meets Runtime Verification
Jakse, Raphael, Falcone, Ylies, Mehaut, Jean-Francois, Pouget, KevinYear:
2017
Language:
english
DOI:
10.1109/issre.2017.19
File:
PDF, 568 KB
english, 2017