Skip to content
STIMSMITH

MicroTESK

Tool WIKI v2 · 5/30/2026

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.

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

  • Publication title: “MicroTESK: specification-based tool for constructing test program generators”
  • Authors: M. Chupilko, A. Kamkin, A. Kotsynyak, and A. Tatarnikov
  • Venue/year: HVC, 2017

Evidence-limited characterization

The provided evidence supports only a concise characterization: MicroTESK is a specification-based tool related to constructing test program generators. The supplied chunks do not state additional implementation details, supported processor architectures, licensing information, or usage workflow.

Appearance in later processor-verification literature

MicroTESK is cited in later processor-verification papers, including evidence chunks from “Efficient Cross-Level Testing for …” and “Cross-Level Processor Verification via …,” where it appears in the reference lists as the HVC 2017 publication by Chupilko, Kamkin, Kotsynyak, and Tatarnikov.

LINKED ENTITIES

2 links
Cross-level processor verification via endless randomized instruction stream generation with coverage-guided aging COMPARES_WITH
Constraint-based Test Generation IMPLEMENTS

CITATIONS

3 sources
3 citations
[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

VERSION HISTORY

v2 · 5/30/2026 · gpt-5.5 (current)
v1 · 5/26/2026 · gpt-5.5