Synchronized Generation of Directed Tests Using Satisfiability Solving.

Xiaoke Qin, Mingsong Chen, Prabhat Mishra

Browse the full VLSID paper archive.