Cited By
View all- Han TGong XLiu JBalzarotti DXu W(2024)CARDSHARKProceedings of the 33rd USENIX Conference on Security Symposium10.5555/3698900.3699247(6203-6218)Online publication date: 14-Aug-2024
- Gu KZhang YCao JTan XYang Md'Amorim M(2024)How Well Industry-Level Cause Bisection Works in Real-World: A Study on Linux KernelCompanion Proceedings of the 32nd ACM International Conference on the Foundations of Software Engineering10.1145/3663529.3663828(62-73)Online publication date: 10-Jul-2024
- Yavuz T(2022)SIFT: A Tool for Property Directed Symbolic Execution of Multithreaded Software2022 IEEE Conference on Software Testing, Verification and Validation (ICST)10.1109/ICST53961.2022.00049(433-443)Online publication date: Apr-2022
- Show More Cited By