Irith Pomeranz Sudhakar M. Reddy Srikanth Venkataraman z-Diagnosis: A Framework for Diagnostic Fault Simulation and Test Generation Utilizing Subsets of Outputs. 1700-1712 2007 26 IEEE Trans. on CAD of Integrated Circuits and Systems 9 http://dx.doi.org/10.1109/TCAD.2007.895758 db/journals/tcad/tcad26.html#PomeranzRV07