Robust Timing-Aware Test Generation Using Pseudo-Boolean Optimization.

Stephan Eggersglüß Mahmut Yilmaz Krishnendu Chakrabarty

Published in: Asian Test Symposium (2012)

Keyphrases

test generation
pseudo boolean optimization
design automation
test cases
static analysis
symbolic execution
test sequences
databases
real world
case study
high quality
cooperative
np hard
life cycle
software testing
quality assurance