Finding Specification Blind Spots via Fuzz Testing

Ru Ji, Meng Xu. Finding Specification Blind Spots via Fuzz Testing. In 44th IEEE Symposium on Security and Privacy, SP 2023, San Francisco, CA, USA, May 21-25, 2023. pages 2708-2725, IEEE, 2023. [doi]

Abstract

Abstract is missing.