Property Probes: Source Code Based Exploration of Program Analysis Results.

Anton Risberg Alakla, Grel Hedin, Niklas Fors, Adrian Pop

Browse the full SLE paper archive.