Joint Forces for Memory Safety Checking-Reference-Cited by-同舟云学术

Joint Forces for Memory Safety Checking

Published:2018 Issue: Volume: Page:115-132
ISSN:0302-9743
Container-title:Model Checking Software
language:
Short-container-title:

Author:

Chalupa Marek,Strejček Jan,Vitovská Martina

Publisher

Springer International Publishing

Link

http://link.springer.com/content/pdf/10.1007/978-3-319-94111-0_7

Reference36 articles.

1. Andersen, L.O.: Program Analysis and Specialization for the C Programming Language. Ph.D thesis, DIKU, University of Copenhagen (1994)

2. Lecture Notes in Computer Science;D Beyer,2005

3. Lecture Notes in Computer Science;D Beyer,2011

4. Lecture Notes in Computer Science;D Beyer,2015

5. Cadar, C., Dunbar, D., Engler, D.R.: KLEE: unassisted and automatic generation of high-coverage tests for complex systems programs. In: 8th USENIX Symposium on Operating Systems Design and Implementation, OSDI 2008, 8–10 December 2008, San Diego, California, USA, Proceedings, pp. 209–224. USENIX Association (2008)

Cited by 19 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. State of the Art in Software Verification and Witness Validation: SV-COMP 2024;Lecture Notes in Computer Science;2024

2. Competition on Software Verification and Witness Validation: SV-COMP 2023;Tools and Algorithms for the Construction and Analysis of Systems;2023

3. Software Testing: 5th Comparative Evaluation: Test-Comp 2023;Fundamental Approaches to Software Engineering;2023

4. C for yourself;Proceedings of the IEEE/ACM 10th International Conference on Formal Methods in Software Engineering;2022-05-18

5. Cooperation Between Automatic and Interactive Software Verifiers;Software Engineering and Formal Methods;2022