Benchmarking Static Code Analyzers.

Jörg Herter Daniel Kästner Christoph Mallon Reinhard Wilhelm

Published in: SAFECOMP (2017)

Keyphrases

dynamic analysis
source code
data sets
decision making
image sequences
multiscale
computational complexity
medical images
error correcting