STRAB: state recovery using reverse execution at IR level for concurrent programs.

Shinji Hoshino, Yoshitaka Arahori, Katsuhiko Gondow

Browse the full SAC paper archive.