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

Muhammad Numair Mansur

  1. Detecting Critical Bugs in SMT Solvers Using Blackbox Mutational Fuzzing
    2020/04/13 by Muhammad Numair Mansur, Mansur, Muhammad Numair, Maria Christakis +5 · 6 citations
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques