Combined Static and Dynamic Analysis-Reference-Cited by-同舟云学术

Combined Static and Dynamic Analysis

Published:2005-05 Issue: Volume:131 Page:3-14
ISSN:1571-0661
Container-title:Electronic Notes in Theoretical Computer Science
language:en
Short-container-title:Electronic Notes in Theoretical Computer Science

Author:

Artho Cyrille,Biere Armin

Publisher

Elsevier BV

Subject

General Computer Science,Theoretical Computer Science

Reference20 articles.

1. 1st, 2nd, 3rd and 4th Workshops on Runtime Verification (RV '01 – RV '04), volume 55(2), 70(4), 89(2), 24(2) of ENTCS. Elsevier Science, 2001 – 2004

2. C. Artho and A. Biere. Combined static and dynamic analysis. Technical Report 466, ETH Zürich, Zürich, Switzerland, 2005

3. Using block-local atomicity to detect stale-value concurrency errors;Artho,2004

4. JNuke: Efficient Dynamic Analysis for Java;Artho,2004

5. Experimental evaluation of verification and validation tools on Martian rover software;Brat;Formal Methods in System Design,2004

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

1. Complementing Secure Code Review with Automated Program Analysis;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05

2. Sorald: Automatic Patch Suggestions for SonarQube Static Analysis Violations;IEEE Transactions on Dependable and Secure Computing;2022

3. Discovering Authorship of Vulnerabilities in Open Source Software;2021 28th Asia-Pacific Software Engineering Conference Workshops (APSEC Workshops);2021-12

4. Boosting static analysis accuracy with instrumented test executions;Proceedings of the 29th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering;2021-08-18

5. Vulnerability Analysis through Interface-based Checker Design;2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C);2020-12