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]

Possibly Related Publications

The following publications are possibly variants of this publication: