Rafael Menezes

13 papers A 3B 1Journal 6Unranked 3
YearRankTypeTitle / Venue / Authors
2024 A conf
ESBMC-Python: A Bounded Model Checker for Python Programs.
ISSTA
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
2024 J jnl
ESBMC-Python: A Bounded Model Checker for Python Programs.
CoRR
Bruno Farias, Rafael Menezes, Eddie B. de Lima Filho, Youcheng Sun, Lucas C. Cordeiro
2023 — conf
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution).
TACAS (2)
Fatimah Aljaafari, Fedor Shmarov, Edoardo Manino, Rafael Menezes, Lucas C. Cordeiro
2023 J jnl
ESBMC v7.4: Harnessing the Power of Intervals.
CoRR
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
2022 J jnl
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
IEEE Access
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 J jnl
Combining BMC and Fuzzing Techniques for Finding Software Vulnerabilities in Concurrent Programs.
CoRR
Fatimah K. Aljaafari, Rafael Menezes, Edoardo Manino, Fedor Shmarov, Mustafa A. Mustafa, Lucas C. Cordeiro
2022 A conf
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC.
ISSTA
Franz Brauße, Fedor Shmarov, Rafael Menezes, Mikhail R. Gadelha, Konstantin Korovin, Giles Reger, Lucas C. Cordeiro
2022 J jnl
ESBMC-Jimple: Verifying Kotlin Programs via Jimple Intermediate Representation.
CoRR
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
2022 A conf
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation.
ISSTA
Rafael Menezes, Daniel Moura, Helena Cavalcante, Rosiane de Freitas, Lucas C. Cordeiro
2021 J jnl
EBF: A Hybrid Verification Tool for Finding Software Vulnerabilities in IoT Cryptographic Protocols.
CoRR
Fatimah Aljaafari, Lucas C. Cordeiro, Mustafa A. Mustafa, Rafael Menezes
2020 B conf
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution).
FASE
Mikhail Y. R. Gadelha, Rafael Menezes, Felipe R. Monteiro, Lucas C. Cordeiro, Denis A. Nicole
2020 — conf
Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution).
TACAS (2)
Herbert Rocha, Rafael Menezes, Lucas C. Cordeiro, Raimundo S. Barreto
2018 — conf
Map2Check Using LLVM and KLEE - (Competition Contribution).
TACAS (2)
Rafael Menezes, Herbert Rocha, Lucas C. Cordeiro, Raimundo S. Barreto