Home         Authors   Papers   Year of conference   Themes   Organizations        To MES conference

Tatarnikov A.D.

Institute for System Programming of the Russian Academy of Sciencies

Listing of all the works of the author. Click on the work title to get the full information.

2016
		Tatarnikov A.D. Combinatorial Test Program Generation for Microprocessors Based on Formal Specifications of Instruction Set Architecture
2018
		Kamkin A.S., Protsenko A.S., Smolov S.A., Tatarnikov A.D. MicroTESK-Based Test Program Generator for the RISC-V Architecture