Test Automation Meets Static Analysis.

Jan Peleska Helge Löding Tatiana Kotas

Published in: GI Jahrestagung (2) (2007)

Keyphrases

static analysis
test generation
test suite
dynamic analysis
source code
malicious code
test case generation
symbolic execution
test cases
abstract interpretation
java card
regular expressions
database systems
case study
open source
object oriented
knowledge base
learning algorithm