Map2Check Using LLVM and KLEE - (Competition Contribution). - Rafael Menezes; Herbert Rocha; Lucas C. Cordeiro; Raimundo S. Barreto (TACAS (2), 2018)

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 (FASE, 2020)

Map2Check: Using Symbolic Execution and Fuzzing - (Competition Contribution). - Herbert Rocha; Rafael Menezes; Lucas C. Cordeiro; Raimundo S. Barreto (TACAS (2), 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)

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 (FASE, 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)

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)

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 (ISSTA, 2022)

ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation. - Rafael Menezes; Daniel Moura; Helena Cavalcante; Rosiane de Freitas; Lucas C. Cordeiro (ISSTA, 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 ISSTA'22 Benchmarks. - Rafael Menezes; Daniel Moura; Helena Cavalcante; Rosiane de Freitas; Lucas C. Cordeiro (Zenodo, 2022)

ESBMC-Jimple ISSTA'22 Benchmarks. - Rafael Menezes; Daniel Moura; Helena Cavalcante; Rosiane de Freitas; Lucas C. Cordeiro (Zenodo, 2022)

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 (SBESC, 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 (SBMF, 2023)

EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs - (Competition Contribution). - Fatimah Aljaafari; Fedor Shmarov; Edoardo Manino; Rafael Menezes; Lucas C. Cordeiro (TACAS (2), 2023)

NeuroCodeBench: a plain C neural network benchmark for software verification. - Edoardo Manino; Rafael Sá Menezes; Fedor Shmarov; Lucas C. Cordeiro (CoRR, 2023)

ESBMC v7.4: Harnessing the Power of Intervals. - Rafael Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (CoRR, 2023)

NeuroCodeBench. - Edoardo Manino; Rafael Menezes; Fedor Shmarov; Lucas C. Cordeiro (Zenodo, 2023)

ESBMC-Python: A Bounded Model Checker for Python Programs. - Bruno Farias 001; Rafael Menezes; Eddie B. de Lima Filho; Youcheng Sun; Lucas C. Cordeiro (ISSTA, 2024)

ESBMC v7.4: Harnessing the Power of Intervals - (Competition Contribution). - Rafael Sá Menezes; Mohannad Aldughaim; Bruno Farias 001; Xianzhiyu Li; Edoardo Manino; Fedor Shmarov; Kunjian Song; Franz Brauße; Mikhail R. Gadelha; Norbert Tihanyi; Konstantin Korovin; Lucas C. Cordeiro (TACAS (3), 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.7: Automating Branch Coverage Analysis Using CFG-Based Instrumentation and SMT Solving - (Competition Contribution). - Chenfeng Wei; Tong Wu; Rafael Sá Menezes; Fedor Shmarov; Fatimah Aljaafari; Sangharatna Godboley; Kaled M. Alshmrany; Rosiane de Freitas; Lucas C. Cordeiro (FASE, 2025)

VO-GCSE: Verification Optimization through Global Common Subexpression Elimination. - Rafael Sá Menezes; Norbert Tihanyi; Ridhi Jain; Alexander Levin; Rosiane de Freitas; Lucas C. Cordeiro (SIGSOFT FSE Companion, 2025)

ESBMC v7.7: Efficient Concurrent Software Verification with Scheduling, Incremental SMT and Partial Order Reduction - (Competition Contribution). - Tong Wu; Xianzhiyu Li; Edoardo Manino; Rafael Sá Menezes; Mikhail R. Gadelha; Shale Xiong; Norbert Tihanyi; Pavlos Petoumenos; Lucas C. Cordeiro (TACAS (3), 2025)

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 (Sci. Comput. Program., 2025)