Benchmarking Static Analyzers.

Pascal Cuoq Florent Kirchner Boris Yakobowski

Published in: COMPARE (2012)

Keyphrases

databases
information retrieval
artificial intelligence
relational databases
artificial neural networks
viewpoint
information extraction
dynamic analysis