Improving the Testing Process by Program Static Analysis.

Nahomi Kikuchi Tohru Kikuno

Published in: APSEC (2001)

Keyphrases

static analysis
testing process
test suite
test cases
dynamic analysis
symbolic execution
source code
software testing
test generation
regression testing
set of test cases
java card
abstract interpretation
test data
e learning
databases
regular expressions
control flow
pattern matching
feature selection
database