Author:
Coons Katherine E.,Burckhardt Sebastian,Musuvathi Madanlal
Cited by
31 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. SegFuzz: Segmentizing Thread Interleaving to Discover Kernel Concurrency Bugs through Fuzzing;2023 IEEE Symposium on Security and Privacy (SP);2023-05
2. Automatic Detection, Validation, and Repair of Race Conditions in Interrupt-Driven Embedded Software;IEEE Transactions on Software Engineering;2022-01-01
3. HARS: Heuristic-Enhanced Adaptive Randomized Scheduling for Concurrency Testing;2021 IEEE 21st International Conference on Software Quality, Reliability and Security (QRS);2021-12
4. Prut4j: Protocol Unit Testing fo(u)r Java;2021 14th IEEE Conference on Software Testing, Verification and Validation (ICST);2021-04
5. Krace: Data Race Fuzzing for Kernel File Systems;2020 IEEE Symposium on Security and Privacy (SP);2020-05