Login / Signup
Towards counterexample-guided k-induction for fast bug detection.
Mikhail Y. R. Gadelha
Felipe R. Monteiro
Lucas C. Cordeiro
Denis A. Nicole
Published in:
ESEC/SIGSOFT FSE (2018)
Keyphrases
</>
detection method
detection algorithm
detection rate
false alarms
source code
model checking
rule induction
detection accuracy
search engine
inductive learning
automatic detection
false positives
object detection
machine learning
multi agent systems
concept learning
image segmentation
case study
automated detection