[IEEE 2018 Ivannikov Memorial Workshop (IVMEM) - Yerevan, Armenia (2018.5.3-2018.5.4)] 2018 Ivannikov Memorial Workshop (IVMEM) - Reachability Confirmation of Statically Detected Defects Using Dynamic Analysis
Gerasimov, Alexander, Kruglov, LeonidYear:
2018
Language:
english
DOI:
10.1109/IVMEM.2018.00012
File:
PDF, 34 KB
english, 2018