vix.ing · top · new · best · stats · spec

Mohannad Aldughaim

  1. FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
    2022/06/28 by Kaled M. Alshmrany, Mohannad Aldughaim, Alshmrany, Kaled M. +5 · 1 citation
    Computer Science · Engineering · #FOS: Computer and information sciences #Radiation Effects in Electronics #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques