[1] Wang M,Liang J,Chen Y,et al.SAFL:Increasing and accelerating testing coverage with symbolic execution and guided fuzzing[A].Proceedings of the 40th International Conference on Software Engineering:Companion Proceeedings[C].Gothenburg Sweden:IEEE Computer Society,2018.61-64.
[2] Corteggiani N,Camurati G,Francillon A.Inception:system-wide security testing of real-world embedded systems software[A].27th USENIX Conference on Security Symposium[C].Baltimore,MD:USENIX Association,2018.309-326.
[3] Mechtaev S,Nguyen M D,Noller Y,et al.Semantic program repair using a reference implementation[A].Proceedings of the 40th International Conference on Software Engineering[C].Gothenburg Sweden:IEEE Computer Society,2018.129-139.
[4] Wong E,Zhang L,Wang S,et al.DASE:Document-assisted symbolic execution for improving automated software testing[A].2015 IEEE/ACM 37th IEEE International Conference on Software Engineering[C].Florence Italy:IEEE Computer Society,2015.620-631.
[5] Cadar C,Dunbar D,Engler D R.KLEE:Unassisted and automatic generation of high-coverage tests for complex systems programs[A]. 8th USENIX Symposium on Operating Systems Design and Implementation,OSDI 2008[C].San Diego,California:USENIX Association,2008.209-224.
[6] 杨超,郭云飞,扈红超,等.基于符号执行的软件缓存侧信道脆弱性检测技术[J].电子学报,2019,47(6):1194-1200. YANG Chao,GUO Yun-fei,et al.Cache-based side-channel vulnerability detection based on symbolic execution[J].Acta Electronica Sinica,2019,47(6):1194-1200.(in Chinese)
[7] 赵祖威,冯世宁,汤恩义,等.一种符号执行制导的循环内界分析方法[J].电子学报,2017(11):16-26. ZHAO Zu-wei,FENG Shi-ning,et al.A symbolic execution guided inner loop bound analysis[J].Acta Electronica Sinica,2017(11):16-26.(in Chinese)
[8] 徐超,陈勇,葛红美,等.基于符号执行的能耗错误检测方法[J].电子学报,2016,44(5):1040-1050. XU Chao,CHEN Yong,GE Hong-mei,et al.Symbolic execution based energy bug detecting method[J].Acta Electronica Sinica,2016,44(5):1040-1050.(in Chinese)
[9] Trabish,David,Mattavelli,Andrea,Rinetzky,Noam,et al.Chopped symbolic execution[A].Proceedings of the 40th International Conference on Software Engineering:Companion Proceeedings[C].Gothenburg Sweden:IEEE Computer Society,2018.350-360.
[10] Palikareva H,Kuchta T,Cadar C.Shadow of a doubt:testing for divergences between software versions[A].IEEE/ACM International Conference on Software Engineering[C].Austin,TX:IEEE,2016.1181-1192.
[11] Marinescu P D,Cadar C.KATCH:high-coverage testing of software patches[A].Proceedings of the 20139th Joint Meeting on Foundations of Software Engineering[C].Saint Petersburg Russia:ACM,2013.235-245.
[12] 甘水滔,王林章,谢向辉,等.一种基于程序功能标签切片的制导符号执行分析方法[J].软件学报,2019,30(11):3259-3280. |