Report on the Differential Testing of Static Analyzers.

Gábor Horváth Réka Nikolett Kovács Péter Szécsi

Published in: Acta Cybern. (2021)

Keyphrases

special case
artificial intelligence
cooperative
databases
computer vision
website
decision trees
similarity measure
training data
data structure
computational complexity
hidden markov models
test cases