Author:
Chen Deng,Zhang Yan-duo,Wei Wei,Wang Shi-xun,Huang Ru-bing,Li Xiao-lin,Qu Bin-bin,Jiang Sheng
Publisher
Zhejiang University Press
Subject
Electrical and Electronic Engineering,Computer Networks and Communications,Hardware and Architecture,Signal Processing
Reference29 articles.
1. Alpuente, M., Feliú, M.A., Joubert, C., et al., 2009. Using Datalog and Boolean equation systems for program analysis. 13th Int. Workshop on Formal Methods for Industrial Critical Systems, p.215–231. http://dx.doi.org/10.1007/978-3-642-03240-0_18
2. Araújo, J.E.M., Souza, S., Valente, M.T., 2011. Study on the relevance of the warnings reported by Java bug-finding tools. IET Softw., 5(4): 366–374. http://dx.doi.org/10.1049/iet-sen.2009.0083
3. Atkinson, D.C., Griswold, W.G., 2006. Effective pattern matching of source code using abstract syntax patterns. Softw.-Pract. Exp., 36(4): 413–447. http://dx.doi.org/10.1002/spe.704
4. Ayewah, N., Pugh, W., Morgenthaler, J.D., et al., 2007. Evaluating static analysis defect warnings on production software. ACM SIGPLAN-SIGSOFT Workshop on Program Analysis for Software Tools & Engineering, p.1–8. http://dx.doi.org/10.1145/1251535.1251536
5. Ball, T., 2008. The verified software challenge: a call for a holistic approach to reliability. LNCS, 4171: 42–48. http://dx.doi.org/10.1007/978-3-540-69149-5_5
Cited by
12 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献