Rafael Menezes

13 papers A 3B 1Journal 6Unranked 3

Year	Rank	Type	Title / 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