Combining Static Analysis and Test Generation for C Program Debugging.

Omar Chebaro Nikolai Kosmatov Alain Giorgetti Jacques Julliand

Published in: TAP@TOOLS (2010)

Keyphrases

static analysis
test generation
symbolic execution
dynamic analysis
source code
test sequences
design automation
malicious code
java card
regular expressions
abstract interpretation
test suite
test data generation
knowledge base
test cases
knowledge management
decision trees
databases