"Procedures for Static Compaction of Test Sequences for Synchronous ..."

Ruifeng Guo, Irith Pomeranz, Sudhakar M. Reddy (1998)
a service of Schloss Dagstuhl - Leibniz Center for Informatics