STANSE: Bug-Finding Framework for C Programs.

Jan Obdrzálek Jiri Slaby Marek Trtík

Published in: MEMICS (2011)

Keyphrases

data sets
key features
databases
data mining
computer vision
image processing
software systems
computational framework
framework enables