Validating static warnings via testing code fragments-Reference-Cited by-同舟云学术

Validating static warnings via testing code fragments

Published:2021-07-11 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis
language:
Short-container-title:

Author:

Kallingal Joshy Ashwin¹^ORCID,Chen Xueyuan¹,Steenhoek Benjamin¹,Le Wei¹^ORCID

Affiliation:

1. Iowa State University, USA

Funder

National Science Foundation

Publisher

ACM

Link

https://dl.acm.org/doi/pdf/10.1145/3460319.3464832

Reference78 articles.

1. [n.d.]. Racket the Programming Language. Available at. https://racket-lang.org [n.d.]. Racket the Programming Language. Available at. https://racket-lang.org

2. [n.d.]. srcML: an XML format for source code. Available at. https://www.srcml.org [n.d.]. srcML: an XML format for source code. Available at. https://www.srcml.org

3. ABSINT. [n.d.]. Astree Static Analyzer. https://www.absint.com/astree/index.htm ABSINT. [n.d.]. Astree Static Analyzer. https://www.absint.com/astree/index.htm

4. Toufique Ahmed Vincent Hellendoorn and Premkumar Devanbu. 2019. Learning Lenient Parsing & Typing via Indirect Supervision. arXiv preprint arXiv:1910.05879. Toufique Ahmed Vincent Hellendoorn and Premkumar Devanbu. 2019. Learning Lenient Parsing & Typing via Indirect Supervision. arXiv preprint arXiv:1910.05879.

5. A Minimum Distance Error-Correcting Parser for Context-Free Languages

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

1. Automatically Inspecting Thousands of Static Bug Warnings with Large Language Model: How Far Are We?;ACM Transactions on Knowledge Discovery from Data;2024-06-19

2. How to Find Actionable Static Analysis Warnings: A Case Study With FindBugs;IEEE Transactions on Software Engineering;2023-04-01

3. Combining static analysis error traces with dynamic symbolic execution (experience paper);Proceedings of the 31st ACM SIGSOFT International Symposium on Software Testing and Analysis;2022-07-18

4. Dynamic Filtering and Prioritization of Static Code Analysis Alerts;2021 IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW);2021-10