Finding Specification Blind Spots via Fuzz Testing

R Ji, M Xu - 2023 IEEE Symposium on Security and Privacy (SP …, 2023 - ieeexplore.ieee.org
A formally verified program is only as correct as its specifications (SPEC). But how to assure
that the SPEC is complete and free of loopholes? This paper presents Fast, short for Fuzzing …
被引用次数：3 相关文章

Finding Specification Blind Spots via Fuzz Testing

R Ji, M Xu - 2023 IEEE Symposium on Security and Privacy (SP), 2023 - computer.org
A formally verified program is only as correct as its specifications (SPEC). But how to assure
that the SPEC is complete and free of loopholes? This paper presents Fast, short for Fuzzing …
[PDF] uwaterloo.ca

[PDF][PDF] Finding Specification Blind Spots via Fuzz Testing

R Ji, M Xu - cs.uwaterloo.ca
A formally verified program is only as correct as its specifications (SPEC). But how to assure
that the SPEC is complete and free of loopholes? This paper presents FAST, short for …

Finding Specification Blind Spots via Fuzz Testing

R Ji, M Xu - 2023 IEEE Symposium on Security and Privacy (SP), 2023 - computer.org
A formally verified program is only as correct as its specifications (SPEC). But how to assure
that the SPEC is complete and free of loopholes? This paper presents FAST, short for …