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