Property Probes: Source Code Based Exploration of Program Analysis Results. - Anton Risberg Alaküla; Görel Hedin; Niklas Fors; Adrian Pop (SLE, 2022)

Property probes: Live exploration of program analysis results. - Anton Risberg Alaküla; Görel Hedin; Niklas Fors; Adrian Pop (J. Syst. Softw., 2024)

Dynamic Dependency-Based Purity Checking. - Anton Risberg Alaküla; Niklas Fors; Christoph Reichenbach (SLE, 2025)

Study of the Use of Property Probes in an Educational Setting. - Anton Risberg Alaküla; Niklas Fors; Emma Söderberg (Art Sci. Eng. Program., 2025)