Author:
Tahara Takamitsu,Gondow Katsuhiko,Ohsuga Seiya
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. ReDPro;Proceedings of the ACM Southeast Conference;2022-04-18
2. RangeLocker: Adaptive Range-Sensitive Lockset Analysis for Precise Dynamic Race Detection;2019 IEEE 19th International Symposium on High Assurance Systems Engineering (HASE);2019-01
3. Debugging Nondeterministic Failures in Linux Programs through Replay Analysis;Scientific Programming;2018
4. DESCRY: reproducing system-level concurrency failures;Proceedings of the 2017 11th Joint Meeting on Foundations of Software Engineering;2017-08-21
5. An automated framework to support testing for process‐level race conditions;Software Testing, Verification and Reliability;2017-05-10