Anton Risberg Alaküla

Publication Activity (10 Years)

Years Active: 2022-2024
Publications (10 Years): 2

Top Topics

Authorship Attribution

Exploration Strategy

Symbolic Execution

Top Venues

J. Syst. Softw.

Publications

Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop
Property probes: Live exploration of program analysis results. J. Syst. Softw. 211 (2024)
Anton Risberg Alaküla, Görel Hedin, Niklas Fors, Adrian Pop
Property Probes: Source Code Based Exploration of Program Analysis Results. SLE (2022)