Publisher
Springer Science and Business Media LLC
Subject
Applied Mathematics,Computational Theory and Mathematics,Control and Optimization,Discrete Mathematics and Combinatorics,Computer Science Applications
Reference36 articles.
1. Andrzejak A, Eichler F, Ghanavati M (2017) Detection of memory leaks in C/C++ code via machine learning. In: IEEE international symposium on software reliability engineering workshops, IEEE, pp 252–258
2. Bush WR, Pincus JD, Sielaff DJ (2000) A static analyzer for finding dynamic programming errors. Softw-Pract Exp 30(7):775–802
3. Cadar C, Engler D (2005) Execution generated test cases: how to make systems code crash itself. In: International SPIN workshop on model checking of software, Springer, pp 2–23
4. Cadar C, Dunbar D, Engler DR, et al (2008a) KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: USENIX symposium on operating systems design and implementation, pp 209–224
5. Cadar C, Ganesh V, Pawlowski PM, Dill DL, Engler DR (2008b) EXE: automatically generating inputs of death. ACM Trans Inf Syst Secur 12(2):10:1–10:38
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Leakpair: Proactive Repairing of Memory Leaks in Single Page Web Applications;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. MLD: An Intelligent Memory Leak Detection Scheme Based on Defect Modes in Software;Entropy;2022-07-07
3. SAVER;Proceedings of the ACM/IEEE 42nd International Conference on Software Engineering;2020-06-27