Author:
Fu Siran,Cui Baojiang,Guo Tao,Song Xuyan
Publisher
Springer International Publishing
Reference8 articles.
1. Ball, T., Rajamani, S.K.: The SLAM project: debugging system software via static analysis, pp. 1–3 (2002)
2. Godefroid, P., Levin, M., Molnar, D.: Active property checking. In: Proceedings of the 8th ACM International Conference on Embedded Software, pp. 19–24 (2008)
3. Nethercote, N., Seward, J.: Valgrind: a framework for heavyweight dynamic binary instrumentation. In: Proceedings of PLDI 2007, San Diego, California, USA, June 2007
4. Turkboylari, M.: Implementation of a secure computing environment by using a secure bootloader, shadow memory, and protected memory: US, US 7313705 B2 (2007)
5. Offutt, A.J., Hayes, J.H.: A semantic model of program faults. In: Proceedings of ACM SIGSOFT International Symposium on Software Testing and Analysis. ACM Press, San Diego (2013)
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献