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

Joxan Jaffar

  1. TracerX: Dynamic Symbolic Execution with Interpolation
    2020/12/01 by Joxan Jaffar, Rasool Maghareh, Jaffar, Joxan +5 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Formal Methods in Verification #Parallel Computing and Optimization Techniques #Programming Languages (cs.PL) #Software Engineering (cs.SE) #Software Testing and Debugging Techniques