Login / Signup
As-Robust-As-Possible test generation in the presence of small delay defects using pseudo-Boolean optimization.
Stephan Eggersglüß
Rolf Drechsler
Published in:
DATE (2011)
Keyphrases
</>
test generation
pseudo boolean optimization
test sequences
test cases
software testing
information systems
design automation
symbolic execution
search space
np hard
source code
static analysis
quality assurance