MicroTESK: specification-based tool for constructing test program generators

Paper

“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.”

First seen 5/30/2026

Last seen 5/30/2026

Evidence 1 chunks

Wiki v1

WIKI

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

READ FULL ARTICLE →

NEIGHBORHOOD

No graph connections found for this entity yet. It may appear in future ingestion runs.

explore full graph →

RELATIONSHIPS

1 connections

Efficient Cross-Level Testing for Processor Verification: A RISC-V Case-Study ← mentions 90% 1e

The paper cites MicroTESK as related work on model-based test generation.

LINKED ENTITIES

1 links

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

CITATIONS

4 sources

4 citations — click to collapse

[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