Rafael Menezes

According to our database, Rafael Menezes authored at least 21 papers between 2018 and 2024.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2024

ESBMC v7.6: Enhanced Model Checking of C++ Programs with Clang AST.

Xianzhiyu Li, Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Konstantin Korovin, Lucas C. Cordeiro

CoRR, 2024

Interval Analysis in Industrial-Scale BMC Software Verifiers: A Case Study.

Rafael Sá Menezes, Edoardo Manino, Fedor Shmarov, Mohannad Aldughaim, Rosiane de Freitas, Lucas C. Cordeiro

CoRR, 2024

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution).

Rafael Sá Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024

ESBMC-Python: A Bounded Model Checker for Python Programs.

Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro

Proceedings of the 33rd ACM SIGSOFT International Symposium on Software Testing and Analysis, 2024

2023

ESBMC v7.4: Harnessing the Power of Intervals.

Rafael Menezes, Mohannad Aldughaim, Bruno Farias, Xianzhiyu Li, Edoardo Manino, Fedor Shmarov, Kunjian Song, Franz Brauße, Mikhail R. Gadelha, Norbert Tihanyi, Konstantin Korovin, Lucas C. Cordeiro

CoRR, 2023

NeuroCodeBench: a plain C neural network benchmark for software verification.

Edoardo Manino, Rafael Sá Menezes, Fedor Shmarov, Lucas C. Cordeiro

CoRR, 2023

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).

Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2023

ESBMC v7.3: Model Checking C++ Programs Using Clang AST.

Kunjian Song, Mikhail R. Gadelha, Franz Brauße, Rafael S. Menezes, Lucas C. Cordeiro

Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023

Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration.

Rafael G. Silvestrim, Felipe V. Trigo, Williame Rocha, Michael R. S. Vieira, Jogno V. Junior, Otoniel Da C. Mendes, Rafael Sá Menezes, Lucas C. Cordeiro

Proceedings of the XIII Brazilian Symposium on Computing Systems Engineering, 2023

2022

ESBMC-Jimple ISSTA'22 Benchmarks.

Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro

Dataset, May, 2022

ESBMC-Jimple ISSTA'22 Benchmarks.

Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro

Dataset, May, 2022

Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.

Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro

IEEE Access, 2022

ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation.

Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.

Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro

Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022

2021

ESBMC 6.1: automated test case generation using bounded model checking.

Mikhail R. Gadelha, Rafael S. Menezes, Lucas C. Cordeiro

Int. J. Softw. Tools Technol. Transf., 2021

EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.

Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes

CoRR, 2021

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).

Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs.

Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro

CoRR, 2020

Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution).

Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2020

ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution).

Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole

Proceedings of the Fundamental Approaches to Software Engineering, 2020

2018

Map2Check Using LLVM and KLEE - (Competition Contribution).

Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2018