Jay Abraham.提高嵌入式软件质量[J].世界电子元器件,2010(12):46-47. Abraham Jay. Improve the quality of embedded software[J]. World Electronic Components, 2010(12):46-47.(in Chinese)
[2]
梅宏,王千祥,张路,等.软件分析技术进展[J].计算机学报,2009,32(9):1699-1709. Mei Hong, Wang Qianxiang, Zhang Lu, et al. Software analysis: a road map[J].Chinese Journal of Computers, 2009,32(9):1699-1709. (in Chinese)
[3]
范如鹰,许胜,刘正高,等.航天型号软件问题案例(第一集)[M].北京:中国航天科技集团公司软件专家组,2008. Fan Ruying, Xu Sheng, Liu Zhenggao, et al. Aerospace software problem cases(Vol.1) [M]. Beijing: The Expert Group of China Aerospace Science and Technology Corporation, 2008. (in Chinese)
[4]
Mauborgne L. Astre: verification of absence of runtime error[C]//Proceedings of IFIP International Federation for Information Processing. Toulouse, France: Kluwer, 2004,156:385-392.
[5]
Hovemeyer D, Spacco J, Pugh W. Evaluating and tuning a static analysis to find null pointer bugs[C]//Proceedings of ACM SIGSOFT Software Engineering Notes. Lisbon, Portugal: ACM Press, 2005:13-19.
[6]
Aaron Tomb, Guillaume Brat, Willem Visser. Variably interprocedural program analysis for runtime error detection[C]//Proceedings of 2007 ACM International Symposium on Software Testing and Analysis. London, U K : ACM Press,2007:97-107.
[7]
Manuvir Das, Sorin Lerner ,Mark Seigle. ESP: path-sensitive program verification in polynomial time[C]//Proceedings of SIGPLAN Notices. Berlin, Germeny: ACM Press,2002:57-68.
[8]
Aditya Thakur, Govindarajan R. Comprehensive path-sensitive data-flow analysis[C]//Proceedings of the 2008 CGO-Sixth International Symposium on Code Generation and Optimization. Boston, USA: ACM Press, 2008:55-63.
