Skip to content
STIMSMITH

Reconfigurable model-based test program generator

Concept WIKI v1 · 5/26/2026

A reconfigurable model-based test program generator is identified in the available evidence as a microprocessor test-program generation work by Alexander Kamkin, Eugene Kornykhin, and Dmitry Vorobyev, published in 2011 in the IEEE International Conference on Software Testing, Verification and Validation Workshop proceedings.

Overview

The reconfigurable model-based test program generator is represented in the evidence by the publication titled “Reconfigurable model-based test program generator for microprocessors.” The title indicates a test-program generation approach that is both model-based and reconfigurable, with microprocessors as its target domain.

Bibliographic record

  • Authors: Alexander Kamkin, Eugene Kornykhin, and Dmitry Vorobyev
  • Title: “Reconfigurable model-based test program generator for microprocessors”
  • Venue: Software Testing Verification and Validation Workshop, IEEE International Conference
  • Year: 2011
  • Pages: 47–54
  • DOI: 10.1109/ICSTW.2011.35

Technical context from the evidence

The work appears in the reference list of “Test Program Generation for a Microprocessor: A Case Study.” In that bibliography, it is listed near other microprocessor validation and test-generation works, including entries on functional test-program generation, configurable random test-program generation, and specification-driven directed test generation for pipelined processors. The evidence therefore situates the work within the broader technical area of microprocessor test-program generation and validation literature.

CITATIONS

5 sources
5 citations
[1] The entity is represented by the publication titled “Reconfigurable model-based test program generator for microprocessors.” Test Program Generation for a Microprocessor: A Case Study
[2] The publication was authored by Alexander Kamkin, Eugene Kornykhin, and Dmitry Vorobyev. Test Program Generation for a Microprocessor: A Case Study
[3] The publication appeared in the Software Testing Verification and Validation Workshop, IEEE International Conference, in 2011, on pages 47–54. Test Program Generation for a Microprocessor: A Case Study
[4] The DOI for the publication is 10.1109/ICSTW.2011.35. Test Program Generation for a Microprocessor: A Case Study
[5] The work is cited in the reference list of “Test Program Generation for a Microprocessor: A Case Study” alongside other microprocessor test-generation and validation literature. Test Program Generation for a Microprocessor: A Case Study