Affiliation:
1. Institute of Software at Chinese Academy of Sciences, China
2. Beijing Institute of Control Engineering, China
3. University of California at Los Angeles, USA
Funder
National Natural Science Foundation of China
National Science Foundation
Youth Innovation Promotion Association of the Chinese Academy of Sciences
Key Research Program of Frontier Sciences, CAS
Cited by
20 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Reorder Pointer Flow in Sound Concurrency Bug Prediction;Proceedings of the 46th IEEE/ACM International Conference on Software Engineering;2024-02-06
2. Why and how bug blocking relations are breakable: An empirical study on breakable blocking bugs;Information and Software Technology;2024-02
3. Predictive Monitoring against Pattern Regular Languages;Proceedings of the ACM on Programming Languages;2024-01-05
4. An Interleaving Guided Metamorphic Testing Approach for Concurrent Programs;ACM Transactions on Software Engineering and Methodology;2023-11-23
5. Precise Dynamic Data Race Prediction for Interrupt-Driven Embedded Software;2023 IEEE 34th International Symposium on Software Reliability Engineering Workshops (ISSREW);2023-10-09