Quantitative evaluation of safety critical software testability based on fault tree analysis and entropy. - SeDo Sohn; PoongHyun Seong (J. Syst. Softw., 2004)

Testing digital safety system software with a testability measure based on a software fault tree. - SeDo Sohn; Poong Hyun Seong (Reliab. Eng. Syst. Saf., 2006)