Implicit Critical PDF Test Generation with Maximal Test Efficiency.

Kyriakos Christou Maria K. Michael Spyros Tragoudas

Published in: DFT (2006)

Keyphrases

test generation
test cases
test sequences
symbolic execution
design automation
mutation testing
software testing
static analysis
code coverage
quality assurance
regression testing
computational complexity
test data generation
real world
multi agent systems
image data