Mohannad Aldughaim - Research output - Research Explorer The University of Manchester

4 Conference contribution
1 Article
1 Preprint

1 results

Filter

2024
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