Cited By
View all- Christakis MCottenier TFilieri ALuo LMansur MPike LRosner NSchäf MSengupta AVisser WRoychoudhury ACadar CKim M(2022)Input splitting for cloud-based static application security testing platformsProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3558944(1367-1378)Online publication date: 7-Nov-2022
- Jensen PSchmid SSchou MSrba JVanerio JDuijn I(2021)Faster Pushdown Reachability Analysis with Applications in Network VerificationAutomated Technology for Verification and Analysis10.1007/978-3-030-88885-5_12(170-186)Online publication date: 18-Oct-2021
- He FHan J(2020)Termination analysis for evolving programs: an incremental approach by reusing certified modulesProceedings of the ACM on Programming Languages10.1145/34282674:OOPSLA(1-27)Online publication date: 13-Nov-2020
- Show More Cited By