Publisher
Springer International Publishing
Reference23 articles.
1. Heap Overflow Detection Tool. https://github.com/SoftwareSecurityLab/Heap-Overflow-Detection
2. National Institute of Standards and Technology in Software Assurance Reference Dataset Project. https://samate.nist.gov/SRD. Accessed 4 Mar 2022
3. Arlinghaus, S.L., Arlinghaus, W.C., Drake, W.D., Nystuen, J.D.: Practical Handbook of Curve Fitting (1994)
4. Baldoni, R., Coppa, E., D’elia, D.C., Demetrescu, C., Finocchi, I.: A survey of symbolic execution techniques. ACM Comput. Surv. 51(3) (2018). https://doi.org/10.1145/3182657
5. Cadar, C., Dunbar, D., Engler, D.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation, OSDI 2008, pp. 209–224. USENIX Association (2008). https://doi.org/10.5555/1855741.1855756
Cited by
1 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献