Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Seryozha Asryan"'
Autor:
Mikhail K. Ermakov, Novikov Aa, Daniil Kutz, Alexander Gerasimov, Seryozha Asryan, Sergey Vartanov, Leonid Kruglov
Publikováno v:
2017 Ivannikov ISPRAS Open Conference (ISPRAS).
This paper presents a modular dynamic symbolic execution (DSE) framework Anxiety developed at Ivannikov Institute for System Programming of the Russian Academy of Sciences (ISP RAS). The main purpose of creating yet another DSE framework is in moving