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

Cha, Sooyoung

  1. Enhancing Dynamic Symbolic Execution by Automatically Learning Search Heuristics
    2019/07/23 by Sooyoung Cha, Seongjoon Hong, Cha, Sooyoung +7 · 1 citation
    Computer Science · #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Engineering Research #Software Reliability and Analysis Research #Software Testing and Debugging Techniques