VeDebug: regression debugging tool for Java. - Ben Buhse; Thomas Wei; Zhiqiang Zang; Aleksandar Milicevic; Milos Gligoric 001 (ICSE (Companion Volume), 2019)