MicroTESK: An Extendable Framework for Test Program Generation

Paper

First seen 6/22/2026

Last seen 6/22/2026

Evidence 5 chunks

NEIGHBORHOOD

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

13 connections

Alexander Kamkin authored by → 100% 1e

Alexander Kamkin is listed as an author of the paper.

Tatiana Sergeeva authored by → 100% 1e

Tatiana Sergeeva is listed as an author of the paper.

Andrei Tatarnikov authored by → 100% 1e

Andrei Tatarnikov is listed as an author of the paper.

Artemiy Utekhin authored by → 100% 1e

Artemiy Utekhin is listed as an author of the paper.

ISPRAS published by → 95% 1e

The paper is published by researchers from ISPRAS.

MicroTESK introduces → 100% 1e

The paper introduces the MicroTESK framework.

Random Generation mentions → 100% 1e

The paper discusses random generation as one of the test generation techniques.

The paper discusses combinatorial generation as one of the test generation techniques.

The paper discusses template-based generation as one of the test generation techniques.

Model-Based Generation mentions → 100% 1e

The paper discusses model-based generation as one of the test generation techniques.

Raven mentions → 100% 1e

The paper mentions RAVEN as an example random generation tool.

Genesys-Pro mentions → 100% 1e

The paper mentions Genesys-Pro as a leading template-based test generator.

Genesys-Pro compares with → 90% 1e

The paper compares MicroTESK's approach to Genesys-Pro's use of constraint solvers.