Mikhail R. Gadelha
Orcid: 0000-0001-6540-6587Affiliations:
- University of Southampton, UK
- Federal University of Amazonas, Manaus, Brazil
According to our database1,
Mikhail R. Gadelha
authored at least 34 papers
between 2012 and 2024.
Collaborative distances:
Collaborative distances:
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2024
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2024
2023
Proceedings of the Formal Methods: Foundations and Applications - 26th Brazilian Symposium, 2023
FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2023
2022
Dataset, December, 2022
Proceedings of the ISSTA '22: 31st ACM SIGSOFT International Symposium on Software Testing and Analysis, Virtual Event, South Korea, July 18, 2022
Proceedings of the 15th IEEE Conference on Software Testing, Verification and Validation, 2022
2021
Int. J. Softw. Tools Technol. Transf., 2021
Verification and refutation of C programs based on k-induction and invariant inference.
Int. J. Softw. Tools Technol. Transf., 2021
Proceedings of the HCI International 2021 - Late Breaking Posters, 2021
Proceedings of the Artificial Intelligence in HCI, 2021
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2021
2020
CoRR, 2020
Proceedings of the Software Verification - 12th International Conference, 2020
Proceedings of the HCI International 2020 - Late Breaking Papers: Universal Access and Inclusive Design, 2020
ESBMC: Scalable and Precise Test Generation based on the Floating-Point Theory - (Competition Contribution).
Proceedings of the Fundamental Approaches to Software Engineering, 2020
2019
Scalable and precise verification based on k-induction, symbolic execution and floating-point theory.
PhD thesis, 2019
Beyond k-induction: Learning from Counterexamples to Bidirectionally Explore the State Space.
CoRR, 2019
ESBMC v6.0: Verifying C Programs Using k-Induction and Invariant Inference - (Competition Contribution).
Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2019
Proceedings of the IX Brazilian Symposium on Computing Systems Engineering, 2019
Proceedings of the 41st International Conference on Software Engineering: Companion Proceedings, 2019
Proceedings of the HCI International 2019 - Late Breaking Papers, 2019
Proceedings of the HCI International 2019 - Late Breaking Posters, 2019
2018
Proceedings of the 2018 ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering, 2018
Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
2017
Int. J. Softw. Tools Technol. Transf., 2017
Encoding Floating-Point Numbers Using the SMT Theory in ESBMC: An Empirical Evaluation over the SV-COMP Benchmarks.
Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017
2016
2012
Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012