Property Probes: Source Code Based Exploration of Program Analysis Results (Artifact)
Risberg Alaküla, Anton LU
; Hedin, Görel
LU
; Fors, Niklas
LU
and Pop, Adrian
(2022)
- Abstract
- This is the software artifact for the paper "Property Probes: Source Code Based Exploration of Program Analysis Results" published in ACM SIGPLAN International Conference on Software Language Engineering (SLE) 2022.
The artifact was reviewed and awarded with the badges "Available" and "Reusable" (see https://www.acm.org/publications/policies/artifact-review-and-badging-current).
Please use this url to cite or link to this publication:
https://lup.lub.lu.se/record/7eea3294-0106-4e74-a99f-8e7221d91818
- author
- Risberg Alaküla, Anton
LU
; Hedin, Görel
LU
; Fors, Niklas
LU
and Pop, Adrian
- organization
- publishing date
- 2022-12-01
- type
- Other contribution
- publication status
- published
- subject
- publisher
- Zenodo
- DOI
- 10.5281/zenodo.7185242
- project
- Cloud Based Language Tooling
- language
- English
- LU publication?
- yes
- id
- 7eea3294-0106-4e74-a99f-8e7221d91818
- date added to LUP
- 2025-08-15 10:54:52
- date last changed
- 2025-10-13 11:25:44
@misc{7eea3294-0106-4e74-a99f-8e7221d91818,
abstract = {{This is the software artifact for the paper "Property Probes: Source Code Based Exploration of Program Analysis Results" published in ACM SIGPLAN International Conference on Software Language Engineering (SLE) 2022.<br/><br/>The artifact was reviewed and awarded with the badges "Available" and "Reusable" (see https://www.acm.org/publications/policies/artifact-review-and-badging-current).}},
author = {{Risberg Alaküla, Anton and Hedin, Görel and Fors, Niklas and Pop, Adrian}},
language = {{eng}},
month = {{12}},
publisher = {{Zenodo}},
title = {{Property Probes: Source Code Based Exploration of Program Analysis Results (Artifact)}},
url = {{http://dx.doi.org/10.5281/zenodo.7185242}},
doi = {{10.5281/zenodo.7185242}},
year = {{2022}},
}