"Contest: A Concurrent Test Generator for Sequential Circuits."

Vishwani D. Agrawal, Kwang-Ting Cheng, Prathima Agrawal (1988)
a service of Schloss Dagstuhl - Leibniz Center for Informatics