Publisher
Springer Nature Singapore
Reference57 articles.
1. Alam T, Yang Z, Chen B, Armour N, Ray S (2022) Firver: concolic testing for systematic validation of firmware binaries. In: 27th Asia and South Pacific design automation conference, ASP-DAC 2022, Taipei, 17–20 Jan 2022. IEEE, pp 352–357
2. Avgerinos T, Rebert A, Cha SK, Brumley D (2014a) Enhancing symbolic execution with veritesting. In: 36th international conference on software engineering, ICSE’14, Hyderabad, pp 1083–1094
3. Avgerinos T, Cha SK, Rebert A, Schwartz EJ, Woo M, Brumley D (2014b) Automatic exploit generation. Commun ACM 57(2):74–84
4. Bai JJ, Wang YP, Yin J, Hu SM (2016) Testing error handling code in device drivers using characteristic fault injection. In: Proceedings of the 2016 USENIX conference on Usenix annual technical conference, USENIX ATC’16, Berkeley. USENIX Association, pp 635–647
5. Baldoni R, Coppa E, D’Elia DC, Demetrescu C, Finocchi I (2018) A survey of symbolic execution techniques. ACM Comput Surv 51(3):50:1–50:39
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. A Method for Detecting and Generating Test Data for Runtime Errors in C/C++ Project Units;2023 RIVF International Conference on Computing and Communication Technologies (RIVF);2023-12-23