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]

Authors

Joonyoung Kim

This author has not been identified. Look up 'Joonyoung Kim' in Google

Jesse Whittemore

This author has not been identified. Look up 'Jesse Whittemore' in Google

Karem A. Sakallah

This author has not been identified. Look up 'Karem A. Sakallah' in Google

João P. Marques Silva

This author has not been identified. Look up 'João P. Marques Silva' in Google