MicroTESK-Related Publications¶

• Table of contents
• MicroTESK-Related Publications
  • 2019
  • 2018
  • 2017
  • 2016
  • 2015
  • 2014
  • 2013
  • 2012
  • 2011

2019¶

• M. Chupilko, A. Kamkin, A. Protsenko. _Open Source Solution for RISC-V Verification_ Proceedings of the Design and Verification Conference in Europe (DVCon Europe), 2019.

2018¶

• M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. _Test Program Generator MicroTESK for RISC-V_. Proceedings of the 19th International Workshop on Microprocessor and SOC Test and Verification (MTV), 2018.

• M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. _MicroTESK: Automated Architecture Validation Suite Generator for Microprocessors_ Proceedings of the Design and Verification Conference in Europe (DVCon Europe), 2018.

2017¶

• M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. _Maintaining ISA Specifications in MicroTESK Test Program Generator_. Proceedings of the 18th International Workshop on Microprocessor and SOC Test and Verification (MTV), 2017.

• A. Kamkin, A. Tatarnikov. _MicroTESK: A Tool for Constrained Random Test Program Generation for Microprocessors_. Perspectives of System Informatics - 11th International Andrei Ershov Informatics Conference, PSI 2017. P. 387-393.

• M. Chupilko, A. Kamkin, A. Kotsynyak, A. Tatarnikov. _MicroTESK: Specification-Based Tool for Constructing Test Program Generators._ Hardware and Software: Verification and Testing - 13th International Haifa Verification Conference, HVC 2017. P. 217-220.

2016¶

• A. Tatarnikov. _An approach to instruction stream generation for functional verification of microprocessor designs_. Proceedings of East-West Design & Test Symposium (EWDTS), 2016.

• A. Tatarnikov. _Language for Describing Templates for Test Program Generation for Microprocessors_. Proceedings of the Institute for System Programming. 2016. Vol. 28. No. 4. P. 77-98.

2015¶

• M. Chupilko, A. Kamkin, A. Kotsynyak, A. Protsenko, S. Smolov, A. Tatarnikov. _Specification-Based Test Program Generation for ARM VMSAv8-64 Memory Management Units_. Proceedings of the 16th International Workshop on Microprocessor Test and Verification, 2015. Slides

• A. Kamkin, A. Protsenko, A. Tatarnikov. _An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms_. Proceedings of the Institute for System Programming Volume 27 (Issue 3). 2015 y. pp. 125-138.

2014¶

• A. Kamkin, T. Sergeeva, S. Smolov, A. Tatarnikov, M. Chupilko. _Extensible Environment for Test Program Generation for Microprocessors_. Programming and Computer Software. January 2014, Volume 40, Issue 1, P. 1-9.

2013¶

• A. Kamkin, T. Sergeeva, A. Tatarnikov, A. Utekhin. _MicroTESK: An Extendable Framework for Test Program Generation_. Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2013. P. 51-57.

• A. Tatarnikov. _Architecture Model Based Microprocessor Test Generation Tool_. Master’s Degree Thesis, National Research University "Higher School of Economics", School of Software Engineering, Moscow, Russian Federation, June 2013.

2012¶

• A. Kamkin, A. Tatarnikov. _MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors_. Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2012. P. 64-69.

2011¶

• A. Kamkin, E. Kornykhin, D. Vorobyev. _Reconfigurable Model-Based Test Program Generator for Microprocessors_. IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011. P. 47-54.