Testing versus Static Analysis of Maximum Stack Size.

Mahdi Eslamimehr Jens Palsberg

Published in: COMPSAC (2013)

Keyphrases

static analysis
dynamic analysis
symbolic execution
test generation
test suite
source code
test case generation
maximum number
test cases
malicious code
reverse engineering
abstract interpretation
database
databases
artificial intelligence
software testing