Automated Test Case Generation with SMT-Solving and Abstract Interpretation.

Jan Peleska Elena Vorobev Florian Lapschies

Published in: NASA Formal Methods (2011)

Keyphrases

test case generation
abstract interpretation
static analysis
termination analysis
object oriented systems
test cases
test suite
software testing
dynamic analysis
test data generation
information systems
model checking
databases
case study
high level