Prashanth Vijayaraghavan, Apoorva Nitsure, et al.
DAC 2025
Prashanth Vijayaraghavan, Apoorva Nitsure, et al.
DAC 2025
Martin Hirzel, Daniel Von Dincklage, et al.
ACM TOPLAS
Robert Soulé, Martin Hirzel, et al.
Software - Practice and Experience
Martin Hirzel, Rodric Rabbah, et al.
SEMS/ICSE 2015