Funder
Ministry of Science, ICT and Future Planning
National Research Foundation of Korea
IITP
Subject
Hardware and Architecture,Information Systems,Software
Reference34 articles.
1. Program Analysis and Specialization for the C Programming Language;Andersen,1994
2. RacerD: compositional static race detection;Blackshear;Proc. ACM Program. Lang.,2018
3. Coverage-based greybox fuzzing as markov chain;Böhme;IEEE Trans. Softw. Eng.,2017
4. Burckhardt, S., Dern, C., Musuvathi, M., Tan, R., 2010. Line-up: a complete and automatic linearizability checker. In: Proceedings of the 31st ACM SIGPLAN Conference on Programming Language Design and Implementation. pp. 330–340.
5. Caballero, J., Grieco, G., Marron, M., Nappa, A., 2012. Undangle: early detection of dangling pointers in use-after-free and double-free vulnerabilities. In: Proceedings of the 2012 International Symposium on Software Testing and Analysis. pp. 133–143.
Cited by
7 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. FPGA Realization of High-Efficient Address Generator Algorithm for WiMAX Deinterleaver;2024 IEEE 4th International Conference on VLSI Systems, Architecture, Technology and Applications (VLSI SATA);2024-05-17
2. Greybox Fuzzing for Concurrency Testing;Proceedings of the 29th ACM International Conference on Architectural Support for Programming Languages and Operating Systems, Volume 2;2024-04-27
3. Demystify the Fuzzing Methods: A Comprehensive Survey;ACM Computing Surveys;2023-10-05
4. GUI Component Detection-Based Automated Software Crash Diagnosis;Electronics;2023-05-24
5. Schfuzz: Detecting Concurrency Bugs with Feedback-Guided Fuzzing;Proceedings of the 18th International Conference on Evaluation of Novel Approaches to Software Engineering;2023