Preview

User

Not a user? Register with this site Forgot your password?

Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS)

Advanced search
Fullscreen

For citations:

Gerasimov A.Yu., Sargsyan S.S., Kurmangaleev S.F., Hakobyan J.A., Asryan S.A., Ermakov M.K. Combining dynamic symbolic execution, code static analysis and fuzzing. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2018;30(6):25-38. https://doi.org/10.15514/ISPRAS-2018-30(6)-2



Creative Commons License
This work is licensed under a Creative Commons Attribution 4.0 License.


ISSN 2079-8156 (Print)
ISSN 2220-6426 (Online)

109004, Alexander Solzhenitsyn st., 25., Moscow, Russian Federation
Institute for System Programming of the RAS
tel.: +7(495) 912-44-25,
e-mail: proceedings@ispras.ru

Processing of personal data
supported by NEICON (Elpub lab)