Technical Publications

Home / Documentation / Technical Publications

Selected MicroTESK-Related Papers

A. Kamkin, E. Kornykhin, D. Vorobyev. Reconfigurable Model-Based Test Program Generator for Microprocessors. International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011.

A. Tatarnikov. Architecture Model Based Microprocessor Test Generation Tool. Master’s Degree Thesis, National Research University “Higher School of Economics”, School of Software Engineering, 2013.

A. Kamkin, T. Sergeeva, S. Smolov, A. Tatarnikov, M. Chupilko. Extensible Environment for Test Program Generation for Microprocessors. Programming and Computer Software. Volume 40, Issue 1, 2014.

M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units. International Workshop on Microprocessor Test and Verification (MTV), 2015.

A. Tatarnikov. Language for Describing Templates for Test Program Generation for Microprocessors. Proceedings of the Institute for System Programming, Volume 28, Issue 4, 2016.

M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. Maintaining ISA Specifications in MicroTESK Test Program Generator. International Workshop on Microprocessor Test and Verification (MTV), 2017.

A. Kamkin, A. Tatarnikov. MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors. International Andrei Ershov Memorial Conference on Perspectives of System Informatics (PSI), 2017.