Aletheia: a failure diagnosis toolchain. - Mojdeh Golagha; Abu Mohammed Raisuddin; Lennart Mittag; Dominik Hellhake; Alexander Pretschner (ICSE (Companion Volume), 2018)