Cited By
View all- Mikek BZhang QChandra SBlincoe KTonella P(2023)Speeding up SMT Solving via Compiler OptimizationProceedings of the 31st ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3611643.3616357(1177-1189)Online publication date: 30-Nov-2023
- Tu HJiang LDing XJiang HRoychoudhury ACadar CKim M(2022)FastKLEE: faster symbolic execution via reducing redundant bound checking of type-safe pointersProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3558919(1741-1745)Online publication date: 7-Nov-2022
- Yang GQiu RKhurshid SPăsăreanu CWen J(2022)A synergistic approach to improving symbolic execution using test rangesInnovations in Systems and Software Engineering10.1007/s11334-019-00331-915:3-4(325-342)Online publication date: 10-Mar-2022
- Show More Cited By