Login / Signup
Target-driven compositional concolic testing with function summary refinement for effective bug detection.
Yunho Kim
Shin Hong
Moonzoo Kim
Published in:
ESEC/SIGSOFT FSE (2019)
Keyphrases
</>
automatic detection
database
object detection
event detection
software evolution
data driven
computationally efficient
target detection
data sets
artificial intelligence
case study
image sequences
multiscale
source code
false positives