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
- Cai HZhang ZJian YLi DHuang Z(2023)BDGSE: A Symbolic Execution Technique for High MC/DC2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security (QRS)10.1109/QRS60937.2023.00039(313-324)Online publication date: 22-Oct-2023
- Shi YZhang YLuo TMao XYang M(2022)Precise (Un)Affected Version Analysis for Web VulnerabilitiesProceedings of the 37th IEEE/ACM International Conference on Automated Software Engineering10.1145/3551349.3556933(1-13)Online publication date: 10-Oct-2022
- Show More Cited By