Author:
Shi Qingkai,Huang Jeff,Chen Zhenyu,Xu Baowen
Funder
National Basic Research Program of China
National Natural Science Foundation of China
Publisher
Institute of Electrical and Electronics Engineers (IEEE)
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Davida: A Decentralization Approach to Localizing Transaction Sequences for Debugging Transactional Atomicity Violations;IEEE Transactions on Reliability;2022
2. Program Verification Enhanced Precise Analysis of Interrupt-Driven Program Vulnerabilities;2021 28th Asia-Pacific Software Engineering Conference (APSEC);2021-12
3. Sound Predictive Atomicity Violation Detection§;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
4. RegionTrack;ACM Transactions on Software Engineering and Methodology;2021-01-31
5. Introduction;Essential Spectrum-based Fault Localization;2020-12-01