Multilevel static analysis for improving program quality.

A. A. Belevantsev

Published in: Program. Comput. Softw. (2017)

Keyphrases

static analysis
dynamic analysis
symbolic execution
source code
java card
malicious code
regular expressions
abstract interpretation
test suite
high quality
improve quality
data sets
databases
database systems
keywords
quality assurance