Automatic test pattern generation can be solved as a constraint satisfaction problem. - Károly Tilly; Lászlo Surján; Gyula Román (Microprocess. Microprogramming, 1993)

CONTEST: A Constraint-based Framework for Automatic Test Pattern Generation in Digital Circuits. - Károly Tilly; Lászlo Surján (SCAI, 1995)