MicroTESK

Tool

MicroTESK is described in the cited literature as a specification-based tool for constructing test program generators. The available evidence identifies the MicroTESK publication as an HVC 2017 paper by M. Chupilko, A. Kamkin, A. Kotsynyak, and A. Tatarnikov.

First seen 5/26/2026

Last seen 6/5/2026

Evidence 2 chunks

Wiki v2

WIKI

MicroTESK

MicroTESK is a specification-based tool for constructing test program generators. The supplied evidence identifies it through bibliographic references to the paper “MicroTESK: specification-based tool for constructing test program generators.”

Bibliographic record

READ FULL ARTICLE →

NEIGHBORHOOD

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

explore full graph →

RELATIONSHIPS

5 connections

Constraint-based Test Generation implements → 90% 4e

MicroTESK is a specification-based tool for constructing test program generators using constraint-based techniques.

Cross-level processor verification via endless randomized instruction stream generation with coverage-guided aging ← mentions 90% 4e

The paper mentions MicroTESK as a related tool for test program generation.

Cross-level processor verification via endless randomized instruction stream generation with coverage-guided aging ← compares with 80% 2e

The paper mentions MicroTESK as a related test generator tool.

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

The paper cites MicroTESK as a specification-based tool for constructing test program generators.

Model-Based Test Generation implements → 90% 1e

MicroTESK is a specification-based tool for constructing test program generators, implementing model-based test generation.

LINKED ENTITIES

2 links

Cross-level processor verification via endless randomized instruction stream generation with coverage-guided aging COMPARES_WITH Extracted graph relationship

Constraint-based Test Generation IMPLEMENTS Extracted graph relationship

CITATIONS

3 sources

3 citations — click to collapse

[1] MicroTESK is described as a specification-based tool for constructing test program generators. Efficient Cross-Level Testing for

[2] The MicroTESK publication is titled “MicroTESK: specification-based tool for constructing test program generators,” authored by M. Chupilko, A. Kamkin, A. Kotsynyak, and A. Tatarnikov, and published at HVC in 2017. Efficient Cross-Level Testing for

[3] The Cross-Level Processor Verification evidence cites the MicroTESK HVC 2017 publication in its references. Cross-Level Processor Verification via