MicroTESK: specification-based tool for constructing test program generators Wiki

MicroTESK: specification-based tool for constructing test program generators

Paper WIKI v1 · 5/30/2026

“MicroTESK: specification-based tool for constructing test program generators” is a 2017 HVC paper by M. Chupilko, A. Kamkin, A. Kotsynyak, and A. Tatarnikov. It is cited in the bibliography of “Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study.”

Overview

“MicroTESK: specification-based tool for constructing test program generators” is a paper by M. Chupilko, A. Kamkin, A. Kotsynyak, and A. Tatarnikov. The cited title identifies MicroTESK as a specification-based tool for constructing test program generators. The paper appeared at HVC in 2017.

Bibliographic context

The paper is listed as reference [4] in the bibliography of “Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study.” In that bibliography, it appears alongside other works on processor verification and test-program generation, including Genesys-Pro and randomized microprocessor testing.

Known citation

M. Chupilko, A. Kamkin, A. Kotsynyak, and A. Tatarnikov, “MicroTESK: specification-based tool for constructing test program generators,” in HVC, 2017.

LINKED ENTITIES

1 links

Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study MENTIONS

CITATIONS

4 sources

4 citations

[1] The paper is titled “MicroTESK: specification-based tool for constructing test program generators.” Efficient Cross-Level Testing for

[2] The paper’s authors are M. Chupilko, A. Kamkin, A. Kotsynyak, and A. Tatarnikov. Efficient Cross-Level Testing for

[3] The paper appeared in HVC in 2017. Efficient Cross-Level Testing for

[4] The paper is cited as reference [4] in “Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study.” Efficient Cross-Level Testing for