Compiler bug isolation via effective witness test program generation.

Junjie Chen Jiaqi Han Peiyi Sun Lingming Zhang Dan Hao Lu Zhang

Published in: ESEC/SIGSOFT FSE (2019)

Keyphrases

data sets
database systems
computationally efficient
generation process
machine learning
information systems
case study
general purpose
software systems
test data
bug fix