Chenfeng Wei - Research Explorer The University of Manchester

1 Preprint

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

File

31 Downloads (Pure)