Для цитирования:

Якимов И.А., Кузнецов А.С. Оптимизация читаемости тестов порождаемых при символьных вычислениях. Труды Института системного программирования РАН. 2016;28(5):227-238. https://doi.org/10.15514/ISPRAS-2016-28(5)-14

For citation:

Yakimov I.A., Kuznetsov A.S. Test Readability Optimization in Context of Symbolic Execution. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2016;28(5):227-238. (In Russ.) https://doi.org/10.15514/ISPRAS-2016-28(5)-14