Andrei Tatarnikov

According to our database, Andrei Tatarnikov authored at least 8 papers between 2014 and 2021.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of four.

2021

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

Proceedings of the IEEE International Symposium on Software Reliability Engineering, 2021

2018

Test Program Generator MicroTESK for RISC-V.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification, 2018

2017

Maintaining ISA Specifications in MicroTESK Test Program Generator.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Alexander Protsenko, Sergey A. Smolov, Andrei Tatarnikov

Proceedings of the 18th International Workshop on Microprocessor and SOC Test and Verification, 2017

MicroTESK: Specification-Based Tool for Constructing Test Program Generators.

Mikhail M. Chupilko, Alexander Kamkin, Artem Kotsynyak, Andrei Tatarnikov

Proceedings of the Hardware and Software: Verification and Testing, 2017

MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors.

Alexander Kamkin, Andrei Tatarnikov

Proceedings of the Perspectives of System Informatics, 2017

2016

An approach to instruction stream generation for functional verification of microprocessor designs.

Andrei Tatarnikov

Proceedings of the 2016 IEEE East-West Design & Test Symposium, 2016

2015

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

Proceedings of the 16th International Workshop on Microprocessor and SOC Test and Verification, 2015

2014

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