Mikhail R. Gadelha

机构：Universidade da Coruña, Centro Oncológico de Galicia · ORCID：0000-0001-6540-6587

发表论文 33 篇 · 总被引 315 次 · h-index 10

代表论文

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 · 被引 18)
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution) (2021 · Lecture notes in computer science · 被引 13)
Verification and refutation of C programs based on k-induction and invariant inference (2020 · International Journal on Software Tools for Technology Transfer · 被引 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)