Automatic test pattern generation can be solved as a constraint satisfaction problem

Károly Tilly, Lászlo Surján, G. Román. Automatic test pattern generation can be solved as a constraint satisfaction problem. Journal of Systems Architecture, 38(1-5):715-722, 1993. [doi]

Abstract

Abstract is missing.