| 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 | 18 | 2021 |
| 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 | 18 | 2020 |
| 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 | 15 | 2020 |
| 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 | 14 | 2020 |
| 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 | 11 | 2022 |
| 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 | 6 | 2018 |
| 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 | 5 | 2022 |
| ESBMC v7. 4: Harnessing the Power of Intervals: (Competition Contribution) RS Menezes, M Aldughaim, B Farias, X Li, E Manino, F Shmarov, K Song, ... International Conference on Tools and Algorithms for the Construction and …, 2024 | 3 | 2024 |
| 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 | 3 | 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 | 2 | 2022 |
| 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 | 2 | 2020 |
| 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 | 1 | 2023 |
| 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 | 1 | 2021 |
| 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. 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 |
| 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 |
Lucas C. CordeiroReader, Dept of Computer Science, University of ManchesterE-mail confirmado em manchester.ac.uk
