Graph Partitioning Applied to the Logic Testing of Combinational Circuits. - Madlaine Davis-Moradkhan; Catherine Roucairol (Discret. Appl. Math., 1995)