Cited By
View all- Zimmerman CDiVincenzo JAldrich J(2024)Sound Gradual Verification with Symbolic ExecutionProceedings of the ACM on Programming Languages10.1145/36329278:POPL(2547-2576)Online publication date: 5-Jan-2024
- Baldoni RCoppa ED’elia DDemetrescu CFinocchi I(2018)A Survey of Symbolic Execution TechniquesACM Computing Surveys10.1145/318265751:3(1-39)Online publication date: 23-May-2018
- Coughlin DChang B(2014)Fissile type analysisACM SIGPLAN Notices10.1145/2578855.253585549:1(73-85)Online publication date: 8-Jan-2014
- Show More Cited By