Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop. Property Probes: Source Code Based Exploration of Program Analysis Results. In Bernd Fischer, Lola Burgueño, Walter Cazzola, editors, Proceedings of the 15th ACM SIGPLAN International Conference on Software Language Engineering, SLE 2022, Auckland, New Zealand, December 6-7, 2022. pages 148-160, ACM, 2022. [doi]
Abstract is missing.