Canalyze: a static bug-finding tool for C programs.

Zhenbo Xu Jian Zhang Zhongxing Xu Jiteng Wang

Published in: ISSTA (2014)

Keyphrases

software systems
high level
source code
computer programs
real time
genetic algorithm
information systems
image processing
decision trees
case study
multi agent
relational databases
user friendly