Practical experience and evaluation of continuous code static analysis with C++Test.

Vincenzo Ciriello Gabriella Carrozza Stefano Rosati

Published in: JAMAICA@ISSTA (2013)

Keyphrases

static analysis
practical experience
source code
test generation
dynamic analysis
test suite
malicious code
symbolic execution
abstract interpretation
test case generation
test cases
regular expressions
java card
evaluation model
data sets
java programs
smart card
learning algorithm
database