On Applying Incremental Satisfiability to Delay Fault Testing.

Joonyoung Kim, Jesse Whittemore, Karem A. Sakallah, Joo P. Marques Silva

Browse the full DATE paper archive.