Integrated static code analysis and runtime verification.

Published in: Softw. Pract. Exp. (2015)

Keyphrases

static analysis
dynamic analysis
data analysis
neural network
social networks
decision making
image processing
automatic analysis