Cited By
View all- Franken GVan Goethem TDesmet LJoosen WCalandrino JTroncoso C(2023)A bug's lifeProceedings of the 32nd USENIX Conference on Security Symposium10.5555/3620237.3620443(3673-3690)Online publication date: 9-Aug-2023
- Jannett LMladenov VMainka CSchwenk JYin HStavrou ACremers CShi E(2022)DISTINCTProceedings of the 2022 ACM SIGSAC Conference on Computer and Communications Security10.1145/3548606.3560692(1553-1567)Online publication date: 7-Nov-2022
- Wang WHu YMcMillan KKhurshid SRoychoudhury ACadar CKim M(2022)SymMC: approximate model enumeration and counting using symmetry information for Alloy specificationsProceedings of the 30th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering10.1145/3540250.3549161(1209-1220)Online publication date: 7-Nov-2022
- Show More Cited By