VERMEER: A Tool for Tracing and Explaining Faulty C Programs.

Daniel Schwartz-Narbonne Chanseok Oh Martin Schäf Thomas Wies

Published in: ICSE (2) (2015)

Keyphrases

software tools
artificial intelligence
software engineering
real time
machine learning
learning algorithm
decision trees
free software