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)

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)

Deductive Binary Code Verification Against Source-Code-Level Specifications. - Alexander Kamkin; Alexey Khoroshilov; Artem Kotsynyak; Pavel Putro (TAP@STAF, 2020)