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]

Authors

Wei Dong

This author has not been identified. Look up 'Wei Dong' in Google

Ji Wang

This author has not been identified. Look up 'Ji Wang' in Google

Changzhi Zhao

This author has not been identified. Look up 'Changzhi Zhao' in Google

Xian Zhang

This author has not been identified. Look up 'Xian Zhang' in Google

Jie Tian

This author has not been identified. Look up 'Jie Tian' in Google