SAT-based ATPG beyond stuck-at fault testing.

Sybille Hellebrand Hans-Joachim Wunderlich

Published in: it Inf. Technol. (2014)

Keyphrases

fault diagnosis
fault model
sat solvers
answer set programming
fault detection
artificial intelligence
ai planning
software testing
bounded model checking
genetic algorithm
test cases
planning problems
answer sets
multiple faults
real time embedded systems