Login / Signup
On the Use of ZBDDs for Implicit and Compact Critical Path Delay Fault Test Generation.
Kyriakos Christou
Maria K. Michael
Spyros Tragoudas
Published in:
J. Electron. Test. (2008)
Keyphrases
</>
critical path
test generation
test cases
job shop scheduling problem
symbolic execution
design automation
static analysis
quality assurance
software testing
binary decision diagrams
code coverage
data sets
search space
scheduling problem
simulated annealing