STRAB: state recovery using reverse execution at IR level for concurrent programs. - Shinji Hoshino; Yoshitaka Arahori; Katsuhiko Gondow (SAC, 2021)