C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Functional test of small-delay faults using SAT and Craig interpolation.
Matthias Sauer
Stefan Kupferschmid
Alexander Czutro
Ilia Polian
Sudhakar M. Reddy
Bernd Becker
Published in:
ITC (2012)
Keyphrases
</>
test cases
small number
fault diagnosis
test data
search algorithm
search strategies
satisfiability problem
knowledge base
computational complexity
control system
motion estimation
phase transition
sat solvers
statistical tests
stochastic local search algorithms