STANSE: Bug-finding Framework for C Programs

Jan Obdrzálek Jiri Slaby Marek Trtík

Published in: CoRR (2012)

Keyphrases

databases
main contribution
lightweight
software systems
theoretical framework
machine learning
information retrieval
information technology
probabilistic model
source code
framework enables