Research output per year
Research output per year
Search results
-
2024
ESBMC v7.4: Harnessing the Power of Intervals (Competition Contribution)
Menezes, R., Aldughaim, M., Farias, B., Li, X., Manino, E., Shmarov, F., Song, K., Brauße, F., Gadelha, M. R., Tihanyi, N., Korovin, K. & Cordeiro, L., 10 Feb 2024, (Accepted/In press) 30th International Conference on Tools and Algorithms for the Construction and Analysis of Systems.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2023
FuSeBMC IA: Interval Analysis and Methods for Test Case Generation (Competition Contribution)
Aldughaim, M., Alshmrany, K. M., Gadelha, M. R., de Freitas, R. & Cordeiro, L. C., 4 Mar 2023, (Accepted/In press) FASE2023: 26th International Conference on Fundamental Approaches to Software Engineering.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2022
FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing
Alshmrany, K., Aldughaim, M., Bhayat, A. & Cordeiro, L., 25 Jan 2022, (Accepted/In press) 25th International Conference on Fundamental Approaches to Software Engineering .Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
2021
FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs
Alshmrany, K., Aldughaim, M., Bhayat, A. & Cordeiro, L., 18 Jun 2021, TAP: International Conference on Tests and Proofs. Springer London, (Lecture Notes in Computer Science).Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review