Author:
Choudhary Ankit,Lu Shan,Pradel Michael
Cited by
35 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Effective Concurrency Testing for Go via Directional Primitive-Constrained Interleaving Exploration;2023 38th IEEE/ACM International Conference on Automated Software Engineering (ASE);2023-09-11
2. WAFFLE: Exposing Memory Ordering Bugs Efficiently with Active Delay Injection;Proceedings of the Eighteenth European Conference on Computer Systems;2023-05-08
3. TSVD4J: Thread-Safety Violation Detection for Java;2023 IEEE/ACM 45th International Conference on Software Engineering: Companion Proceedings (ICSE-Companion);2023-05
4. Generating Test Databases for Database-Backed Applications;2023 IEEE/ACM 45th International Conference on Software Engineering (ICSE);2023-05
5. SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing;2023 IEEE Symposium on Security and Privacy (SP);2023-05