Xiang Du, Liangze Yin, Peng Wu, Liyuan Jia, Wei Dong 0006. Vulnerability Analysis through Interface-based Checker Design. In 20th IEEE International Conference on Software Quality, Reliability and Security Companion, QRS Companion 2020, Macau, China, December 11-14, 2020. pages 46-52, IEEE, 2020. [doi]
Abstract is missing.