Kaled M. Alshmrany

According to our database, Kaled M. Alshmrany authored at least 10 papers between 2020 and 2023.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2023

FuSeBMC_IA: Interval Analysis and Methods for Test Case Generation - (Competition Contribution).

Mohannad Aldughaim, Kaled M. Alshmrany, Mikhail R. Gadelha, Rosiane de Freitas, Lucas C. Cordeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2023

2022

FuSeBMC v4: Improving code coverage with smart seeds via fuzzing and static analysis.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Fedor Shmarov, Fatimah Aljaafari, Lucas C. Cordeiro

CoRR, 2022

Position Paper: Towards a Hybrid Approach to Protect Against Memory Safety Vulnerabilities.

Kaled M. Alshmrany, Ahmed Bhayat, Franz Brauße, Lucas C. Cordeiro, Konstantin Korovin, Tom Melham, Mustafa A. Mustafa, Pierre Olivier, Giles Reger, Fedor Shmarov

Proceedings of the IEEE Secure Development Conference, 2022

FuSeBMC v4: Smart Seed Generation for Hybrid Fuzzing - (Competition Contribution).

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2022

2021

FuSeBMC v.4: Smart Seed Generation for Hybrid Fuzzing.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

CoRR, 2021

FuSeBMC: An Energy-Efficient Test Generator for Finding Security Vulnerabilities in C Programs.

Kaled M. Alshmrany, Mohannad Aldughaim, Ahmed Bhayat, Lucas C. Cordeiro

Proceedings of the Tests and Proofs - 15th International Conference, 2021

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs (Competition Contribution).

Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro

Proceedings of the Fundamental Approaches to Software Engineering, 2021

2020

Bounded Model Checking of Software Using Interval Methods via Contractors.

Mohannad Aldughaim, Kaled M. Alshmrany, Mohamed Mustafa, Lucas C. Cordeiro, Alexandru Stancu

CoRR, 2020

FuSeBMC: A White-Box Fuzzer for Finding Security Vulnerabilities in C Programs.

Kaled M. Alshmrany, Rafael S. Menezes, Mikhail R. Gadelha, Lucas C. Cordeiro

CoRR, 2020

Finding Security Vulnerabilities in Network Protocol Implementations.

Kaled M. Alshmrany, Lucas C. Cordeiro

CoRR, 2020