Research output per year
Research output per year
Personal profile
Overview
Kaled Alshmrany is a Ph.D. candidate at The University of Manchester and a Faculty Member at The Institute of Public Administration (IPA), Saudi Arabia. He is the lead developer of the tool FuSeBMC. He has received 6 international awards from the international competitions on software testing (Test-Comp) 2021 & 2022.
Expertise related to UN Sustainable Development Goals
In 2015, UN member states agreed to 17 global Sustainable Development Goals (SDGs) to end poverty, protect the planet and ensure prosperity for all. This person’s work contributes towards the following SDG(s):
Education/Academic qualification
Master in Science, Computer Science, Middle Tennessee State University
Award Date: 16 Dec 2016
Bachelor of Science, Computer Science, King Abdulaziz University
Award Date: 7 Jul 2011
Areas of expertise
- QA76 Computer software
Fingerprint
Dive into the research topics where Kaled Alshmrany is active. These topic labels come from the works of this person. Together they form a unique fingerprint.
- 1 Similar Profiles
Network
Recent external collaboration on country/territory level. Dive into details by clicking on the dots or
-
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
-
Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities
Alshmrany, K., Bhayat, A., Brauße, F., Cordeiro, L., Korovin, K., Melham, T., Mustafa, M. A., Olivier, P., Reger, G. & Shmarov, F., 30 Aug 2022, (Accepted/In press) IEEE Secure Development Conference.Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
-
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs
Alshmrany, K., Menezes, R., Gadelha, M. R. & Cordeiro, L., 2021.Research output: Contribution to conference › Paper › peer-review
-
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
-
FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution)
Alshmrany, K., Menezes, R. S., Gadelha, M. R. & Cordeiro, L., 20 Mar 2021, 24th International Conference on Fundamental Approaches to Software Engineering (FASE) .Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review
Prizes
-
First place in the "Cover-Branches" category at the competition Test-Comp 2022
Alshmrany, Kaled (Recipient), 1 Apr 2022
Prize: Prize (including medals and awards)
-
First place in the "Cover-Error" category at the competition Test-Comp 2021
Alshmrany, Kaled (Recipient), 31 Mar 2021
Prize: Prize (including medals and awards)
File -
First place in the "Cover-Error" category at the competition Test-Comp 2022
Alshmrany, Kaled (Recipient), 1 Apr 2022
Prize: Prize (including medals and awards)
-
First place in the "Overall" categories at the competition Test-Comp 2022
Alshmrany, Kaled (Recipient), 1 Apr 2022
Prize: Prize (including medals and awards)
-
Second place in the "Overall" categories at the competition Test-Comp 2021
Alshmrany, Kaled (Recipient), 31 Mar 2021
Prize: Prize (including medals and awards)
File