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

Daniele Cono D'Elia

  1. A Survey of Symbolic Execution Techniques
    2016/10/03 by Roberto Baldoni, Emilio Coppa, Daniele Cono D'Elia +2 · 6 voices · 24 citations
    #cs.SE #cs.PL