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

Kameshwar Chandrasekar, Michael S. Hsiao

Browse the full DATE paper archive.