Property Probes: Source Code Based Exploration of Program Analysis Results-Reference-Cited by-同舟云学术

Property Probes: Source Code Based Exploration of Program Analysis Results

Published:2022-11-29 Issue: Volume: Page:
ISSN:
Container-title:Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering
language:
Short-container-title:

Author:

Risberg Alaküla Anton¹,Hedin Görel¹,Fors Niklas¹,Pop Adrian²

Affiliation:

1. Lund University, Sweden

2. Linköping University, Sweden

Publisher

ACM

Link

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

Reference21 articles.

1. [n. d.]. Apache(tm) FOP - a print formatter driven by XSL formatting objects (XSL-FO) and an output independent formatter. — xmlgraphics.apache.org. https://xmlgraphics.apache.org/fop/ [Accessed 28-Jun-2022] [n. d.]. Apache(tm) FOP - a print formatter driven by XSL formatting objects (XSL-FO) and an output independent formatter. — xmlgraphics.apache.org. https://xmlgraphics.apache.org/fop/ [Accessed 28-Jun-2022]

2. [n. d.]. Clang Static Analyzer — clang-analyzer.llvm.org. https://clang-analyzer.llvm.org/ [Accessed 22-Jun-2022] [n. d.]. Clang Static Analyzer — clang-analyzer.llvm.org. https://clang-analyzer.llvm.org/ [Accessed 22-Jun-2022]

3. [n. d.]. JastAdd API Docs — extendj.org. http://extendj.org/doc/ [Accessed 28-Jun-2022] [n. d.]. JastAdd API Docs — extendj.org. http://extendj.org/doc/ [Accessed 28-Jun-2022]

4. [n. d.] . Monaco Editor — microsoft.github.io. https://microsoft.github.io/monaco-editor/ [Accessed 22- Jun- 2022 ] [n. d.]. Monaco Editor — microsoft.github.io. https://microsoft.github.io/monaco-editor/ [Accessed 22-Jun-2022]

5. On the dichotomy of debugging behavior among programmers

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

1. Property probes: Live exploration of program analysis results;Journal of Systems and Software;2024-05