Author´s Reply2

I wish to thank Metze et al. for having identified certain sources of difficulty with the algorithm given in my paper.1 The notion of "partial Boolean difference" introduced in my paper—and on which the algorithm was based—was unfortunately restricted to single path sensitization thus resulting in the well-known limitations of such an approach. The concept of partial Boolean difference, however, is quite general and directly applicable to multiple path sensitization. Such Boolean differences are known as multiple partial Boolean differences, and their utility has been previously recognized in test-code generation [1], [2].