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
-
FuSeBMC AI: Acceleration of Hybrid Approach through Machine Learning
Alshmrany, K. M., Aldughaim, M., Wei, C., Sweet, T., Allmendinger, R. & Cordeiro, L. C., 9 Apr 2024.Research output: Preprint/Working paper › Preprint
File32 Downloads (Pure) -
FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
Alshmrany, K. M., Aldughaim, M., Bhayat, A. & Cordeiro, L. C., 26 Jun 2024, In: Formal Aspects of Computing. 36, 2, p. 1 - 25 12.Research output: Contribution to journal › Article › peer-review
Open Access -
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