scholarly journals Integration of Learning Techniques into Incremental Satisfiability for Efficient Path-Delay Fault Test Generation

Author(s):  
K. Chandrasekar ◽  
M.S. Hsiao
2008 ◽  
Vol 24 (1-3) ◽  
pp. 203-222 ◽  
Author(s):  
Kyriakos Christou ◽  
Maria K. Michael ◽  
Spyros Tragoudas

2004 ◽  
Vol 19 (6) ◽  
pp. 955-964 ◽  
Author(s):  
Subhashis Majumder ◽  
Bhargab B. Bhattacharya ◽  
Vishwani D. Agrawal ◽  
Michael L. Bushnell

Sign in / Sign up

Export Citation Format

Share Document