Для цитирования:
Герасимов А.Ю., Круглов Л.В. Вычисление входных данных для достижения определенной функции в программе методом итеративного динамического анализа. Труды Института системного программирования РАН. 2016;28(5):159-174. https://doi.org/10.15514/ISPRAS-2016-28(5)-10
For citation:
Gerasimov A.Y., Kruglov L.V. Input data generation for reaching specific function in program by iterative dynamic analysis. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(5):159-174. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(5)-10
Послать статью по эл. почте 