Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation
Keyword(s):
Keyword(s):
2008 ◽
Vol 24
(1-3)
◽
pp. 203-222
◽
Keyword(s):
Keyword(s):
2004 ◽
Vol 19
(6)
◽
pp. 955-964
◽
Keyword(s):