Ahmed Bhayat
- FuSeBMC v4: Improving code coverage with smart seeds via BMC, fuzzing and static analysis
2022/06/28 by Kaled M. Alshmrany, Alshmrany, Kaled M., Mohannad Aldughaim +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
- The Vampire Diary
2025/06/03 by Filip Bártek, Ahmed Bhayat, Bártek, Filip +24 · 1 voice
Computer Science · Psychology · Social Sciences · #Crime, Deviance, and Social Control #FOS: Computer and information sciences #Gothic Literature and Media Analysis #Logic in Computer Science (cs.LO) #Sexuality, Behavior, and Technology #cs.LO