Vol-2046⫷ Vol-2047 ⫸Vol-2048
urn:nbn:de:0074-2047-0


Vol-2047/BENEVOL_2017_paper_6⫷Vol-2047/BENEVOL_2017_paper_7⫸Vol-2047/BENEVOL_2017_paper_8
Maarten VandercammenCoen De Roover

Employing Run-time Static Analysis to Improve Concolic Execution