Extensible environment for test program generation for microprocessors. - Alexander S. Kamkin; T. I. Sergeeva; Sergey A. Smolov; A. D. Tatarnikov; Mikhail M. Chupilko (Program. Comput. Softw., 2014)

Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. - Mikhail M. Chupilko; Alexander S. Kamkin; Artem Kotsynyak; Alexander Protsenko; Sergey A. Smolov; Andrei Tatarnikov (MTV, 2015)

An approach to instruction stream generation for functional verification of microprocessor designs. - Andrei Tatarnikov (EWDTS, 2016)

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors. - Alexander Kamkin; Andrei Tatarnikov (Ershov Informatics Conference, 2017)

MicroTESK: Specification-Based Tool for Constructing Test Program Generators. - Mikhail M. Chupilko; Alexander Kamkin; Artem Kotsynyak; Andrei Tatarnikov (Haifa Verification Conference, 2017)

Maintaining ISA Specifications in MicroTESK Test Program Generator. - Mikhail M. Chupilko; Alexander Kamkin; Artem Kotsynyak; Alexander Protsenko; Sergey A. Smolov; Andrei Tatarnikov (MTV, 2017)

Test Program Generator MicroTESK for RISC-V. - Mikhail M. Chupilko; Alexander Kamkin; Artem Kotsynyak; Alexander Protsenko; Sergey A. Smolov; Andrei Tatarnikov (MTV, 2018)

Patternika: A Pattern-Mining-Based Tool For Automatic Library Migration. - Ekaterina Blech; Andrey Grishchenko; Ivan Kniazkov; Guangtai Liang; Oleg Serebrennikov; Andrei Tatarnikov; Polina Volkhontseva; Kuzma Yakimets (ISSRE Workshops, 2021)