Seguir
Rafael Menezes
Rafael Menezes
PhD Student, The University of Manchester
Dirección de correo verificada de postgrad.manchester.ac.uk
Título
Citado por
Citado por
Año
FuSeBMC: A white-box fuzzer for finding security vulnerabilities in C programs (competition contribution)
KM Alshmrany, RS Menezes, MR Gadelha, LC Cordeiro
International Conference on Fundamental Approaches to Software Engineering …, 2021
182021
ESBMC 6.1: automated test case generation using bounded model checking
MR Gadelha, RS Menezes, LC Cordeiro
International Journal on Software Tools for Technology Transfer, 1-5, 2020
182020
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory: (Competition Contribution)
MR Gadelha, R Menezes, FR Monteiro, LC Cordeiro, D Nicole
International Conference on Fundamental Approaches to Software Engineering …, 2020
142020
Map2Check: Using Symbolic Execution and Fuzzing: (Competition Contribution)
H Rocha, R Menezes, LC Cordeiro, R Barreto
Tools and Algorithms for the Construction and Analysis of Systems: 26th …, 2020
142020
Combining bmc and fuzzing techniques for finding software vulnerabilities in concurrent programs
FK Aljaafari, R Menezes, E Manino, F Shmarov, MA Mustafa, LC Cordeiro
Ieee Access 10, 121365-121384, 2022
112022
Map2Check Using LLVM and KLEE: (Competition Contribution)
R Menezes, H Rocha, L Cordeiro, R Barreto
Tools and Algorithms for the Construction and Analysis of Systems: 24th …, 2018
62018
ESBMC-CHERI: towards verification of C programs for CHERI platforms with ESBMC
F Brauße, F Shmarov, R Menezes, MR Gadelha, K Korovin, G Reger, ...
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
42022
EBF 4.2: Black-Box Cooperative Verification for Concurrent Programs: (Competition Contribution)
F Aljaafari, F Shmarov, E Manino, R Menezes, LC Cordeiro
International Conference on Tools and Algorithms for the Construction and …, 2023
22023
Incremental Symbolic Bounded Model Checking of Software Using Interval Methods via Contractors
M Aldughaim, K Alshmrany, R Menezes, L Cordeiro, A Stancu
arXiv preprint arXiv:2012.11245, 2020
22020
ESBMC v7. 4: Harnessing the Power of Intervals
R Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ...
arXiv preprint arXiv:2312.14746, 2023
12023
EBF: A hybrid verification tool for finding software vulnerabilities in iot cryptographic protocols
F Aljaafari, LC Cordeiro, MA Mustafa, R Menezes
CoRR, abs/2103.11363, 2021
12021
ESBMC: Scalable and precise test generation based on the floating-point theory
MR Gadelha, R Menezes, FR Monteiro, LC Cordeiro, D Nicole
Proceedings of the 23rd International Conference on Fundamental Approaches …, 0
1
ESBMC v7. 4: Harnessing the Power of Intervals (Competition Contribution)
R Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ...
2024
ESBMC v7. 3: model checking C++ programs using clang AST
K Song, MR Gadelha, F Brauße, RS Menezes, LC Cordeiro
Brazilian Symposium on Formal Methods, 141-152, 2023
2023
Towards Integrity and Reliability in Embedded Systems: The Synergy of ESBMC and Arduino Integration
RG Silvestrim, FV Trigo, W Rocha, MRS Vieira, JV Junior, ODC Mendes, ...
2023 XIII Brazilian Symposium on Computing Systems Engineering (SBESC), 1-6, 2023
2023
NeuroCodeBench: a plain C neural network benchmark for software verification
E Manino, RS Menezes, F Shmarov, LC Cordeiro
arXiv preprint arXiv:2309.03617, 2023
2023
ESBMC-Jimple: verifying Kotlin programs via jimple intermediate representation
R Menezes, D Moura, H Cavalcante, R de Freitas, LC Cordeiro
Proceedings of the 31st ACM SIGSOFT International Symposium on Software …, 2022
2022
Geração de casos de teste usando Bounded Model Checking
RS Menezes
Universidade Federal do Amazonas, 2021
2021
Finding Security Vulnerabilities in IoT Cryptographic Protocol and Concurrent Implementations
F Aljaafari, R Menezes, MA Mustafa, LC Cordeiro
arXiv preprint arXiv:2103.11363, 2021
2021
Map2Check: Using Symbolic Execution and Fuzzing:(Competition Contribution)
R Menezes, L Cordeiro, R Barreto, H Rocha
2020
El sistema no puede realizar la operación en estos momentos. Inténtalo de nuevo más tarde.
Artículos 1–20