[ACM Press the 27th ACM SIGSOFT International Symposium - Amsterdam, Netherlands (2018.07.16-2018.07.21)] Proceedings of the 27th ACM SIGSOFT International Symposium on Software Testing and Analysis - ISSTA 2018 - Symbolic path cost analysis for side-channel detection
Brennan, Tegan; Saha, Seemanta; Bultan, Tevfik; Păsăreanu, Corina S.
- 作者Brennan, Tegan; Saha, Seemanta; Bultan, Tevfik; Păsăreanu, Corina S.
- 文件大小894.09KB
- 发表时间2018
- DOI10.1145/3213846.3213867
- 页码27-37