@article{CTT100890822, author = {S. Hoshino and Y. Arahori and K. Gondow}, title = {Postmortem accurate IR-level state recovery for deployed concurrent programs}, journal = {ACM SIGAPP Applied Computing Review}, year = 2021, } @inproceedings{CTT100849391, author = {E. Tominaga and Y. Arahori and K. Gondow.}, title = {DiverJS: Path Exploration Heuristic for Difference Analysis of Event-Driven Code}, booktitle = {}, year = 2021, } @inproceedings{CTT100849392, author = {S. Hoshino and Y. Arahori and K. Gondow}, title = {STRAB: state recovery using reverse execution at IR level for concurrent programs}, booktitle = {}, year = 2021, }