Synthesizing Subtle Bugs with Known Witnesses.

Marc Jasper Bernhard Steffen

Published in: ISoLA (2) (2018)

Keyphrases

source code
software systems
software projects
image processing
multiscale
optimal solution
data sets
information systems
expert systems
pairwise
poor quality
root cause