Automating Software FMEA via Formal Analysis of Dependence Relations.

Wei Dong, Ji Wang, Changzhi Zhao, Xian Zhang, Jie Tian

Browse the full COMPSAC paper archive.