Login / Signup
Fault-Based Testing for Refinement in CSP.
Ana Cavalcanti
Adenilso da Silva Simão
Published in:
ICTSS (2017)
Keyphrases
</>
constraint satisfaction problems
fault model
fault detection
constraint satisfaction
real time embedded systems
fault diagnosis
np hard
test set
constraint propagation
real time
neural network
np complete
test data
arc consistency
decomposition methods
fault injection