Rafael Menezes

机构：University of Manchester · ORCID：0000-0002-6102-4343

发表论文 32 篇 · 总被引 125 次 · h-index 7

代表论文

• ESBMC 6.1: automated test case generation using bounded model checking (2020 · International Journal on Software Tools for Technology Transfer · 被引 20)
• ESBMC v7.4: Harnessing the Power of Intervals (2024 · Lecture notes in computer science · 被引 19)
• FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) (2021 · Lecture notes in computer science · 被引 13)
• ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC (2022 · 被引 11)
• ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory (2020 · Lecture notes in computer science · 被引 11)
• Map2Check: Using Symbolic Execution and Fuzzing (2020 · Lecture notes in computer science · 被引 9)