Cited By
View all- Yi QYu YYang G(2024)Compatible Branch Coverage Driven Symbolic Execution for Efficient Bug FindingProceedings of the ACM on Programming Languages10.1145/36564438:PLDI(1633-1655)Online publication date: 20-Jun-2024
- Sun XGupta RBond MLee JPayer H(2024)SSRD: Shapes and Summaries for Race Detection in Concurrent Data StructuresProceedings of the 2024 ACM SIGPLAN International Symposium on Memory Management10.1145/3652024.3665505(68-81)Online publication date: 20-Jun-2024
- Glock JPichler JPinzger M(2024)PASDA: A partition-based semantic differencing approach with best effort classification of undecided casesJournal of Systems and Software10.1016/j.jss.2024.112037213(112037)Online publication date: Jul-2024
- Show More Cited By