A testability measure to improve algebraic test generation
Antonio Lioy, Marco Mezzalama · Software & Microsystems · 1984
The paper deals with testability measures of digital systems. Specifically, a new algorithm to evaluate testability measures for circuits described in terms of Boolean equations is presented, and its application to speed up (algebraic) test generation for sequential networks is discussed.