Login / Signup
True Error or False Alarm? Refining Astrée's Abstract Interpretation Results by Embedded Tester's Automatic Model-Based Testing.
Sayali Salvi
Daniel Kästner
Tom Bienmüller
Christian Ferdinand
Published in:
SAFECOMP Workshops (2014)
Keyphrases
</>
false alarms
test cases
model based testing
abstract interpretation
detection rate
false alarm rate
testing process
termination analysis
software testing
active rules
error rate
test set
face detection
false positives
artificial intelligence
software development
object detection
case study