Automating Software FMEA via Formal Analysis of Dependence Relations

Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian. Automating Software FMEA via Formal Analysis of Dependence Relations. In Proceedings of the 32nd Annual IEEE International Computer Software and Applications Conference, COMPSAC 2008, 28 July - 1 August 2008, Turku, Finland. pages 490-491, IEEE Computer Society, 2008. [doi]

Abstract

Abstract is missing.