On Applying Incremental Satisfiability to Delay Fault Testing

Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, João P. Marques Silva. On Applying Incremental Satisfiability to Delay Fault Testing. In 2000 Design, Automation and Test in Europe (DATE 2000), 27-30 March 2000, Paris, France. pages 380-384, IEEE Computer Society, 2000. [doi]

Possibly Related Publications

The following publications are possibly variants of this publication: