Cited By
View all- Kallingal Joshy AChen XSteenhoek BLe WCadar CZhang X(2021)Validating static warnings via testing code fragmentsProceedings of the 30th ACM SIGSOFT International Symposium on Software Testing and Analysis10.1145/3460319.3464832(540-552)Online publication date: 11-Jul-2021
- Zhang HLatif SBassily RRountev ACapkun SRoesner F(2020)Differentially-private control-flow node coverage for software usage analysisProceedings of the 29th USENIX Conference on Security Symposium10.5555/3489212.3489270(1021-1038)Online publication date: 12-Aug-2020
- Rodrigues VDonetti SDamiani F(2019)Certifying delta-oriented programsSoftware and Systems Modeling (SoSyM)10.1007/s10270-018-00704-x18:5(2875-2906)Online publication date: 2-Aug-2019
- Show More Cited By