Rafael S. Menezes | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

Lucas C. Cordeiro
28 publications
Mikhail R. Gadelha
8 publications
Franz Brauße
4 publications
Kaled M. Alshmrany
3 publications
Kunjian Song
2 publications

research

∙ 08/10/2023

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

This paper introduces ESBMC v7.3, the latest Efficient SMT-Based Context...

0 Kunjian Song, et al. ∙

research

∙ 12/21/2020

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

We describe and evaluate a novel white-box fuzzer for C programs named F...

0 Kaled M. Alshmrany, et al. ∙