Login / Signup
Interactive Runtime Verification - A Ph.D to Improve Bug Detection and Understanding.
Raphaël Jakse
Published in:
ISSRE Workshops (2017)
Keyphrases
</>
detection algorithm
detection rate
object detection
real time
multiscale
false positives
user friendly
false alarms
detection accuracy
detection scheme
data mining
detection method
model checking
event detection
automated analysis