Preview

Труды Института системного программирования РАН

Расширенный поиск
Полноэкранный режим

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


МИСОНИЖНИК А.В., БАБУШКИН А.А., МОРОЗОВ С.А., КОСТЮКОВ Ю.О., МОРДВИНОВ Д.А., КОЗНОВ Д.В. Автоматическое тестирование LLVM-программ со сложными входными структурами данных. Труды Института системного программирования РАН. 2022;34(4):49-62. https://doi.org/10.15514/ISPRAS-2022-34(4)-4

For citation:


MISONIZHNIK A.V., BABUSHKIN A.A., MOROZOV S.A., KOSTYUKOV Yu.O., MORDVINOV D.A., KOZNOV D.V. Automated testing of LLVM programs with complex input data structures. Proceedings of the Institute for System Programming of the RAS (Proceedings of ISP RAS). 2022;34(4):49-62. (In Russ.) https://doi.org/10.15514/ISPRAS-2022-34(4)-4



Creative Commons License
Контент доступен под лицензией Creative Commons Attribution 4.0 License.


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