Classifying Bugs with Interpolants.

Andreas Podelski Martin Schäf Thomas Wies

Published in: TAP@STAF (2016)

Keyphrases

automatic classification
source code
computational geometry
software systems
computational complexity
test cases
static analysis
computer vision
e learning
bayesian networks
natural language
software engineering
software projects