Project

General

Profile

MicroTESK-Related Publications » History » Version 14

Andrei Tatarnikov, 08/11/2015 01:24 PM

1 1 Alexander Kamkin
h1. MicroTESK-Related Publications
2
3 13 Alexander Kamkin
{{toc}}
4
5 14 Andrei Tatarnikov
h2. 2015
6
7
* 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. http://ispras.ru/proceedings/docs/2015/27/3/isp_27_2015_3_125.pdf
8
9 11 Alexander Kamkin
h2. 2014
10 1 Alexander Kamkin
11 12 Alexander Kamkin
* 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. http://link.springer.com/article/10.1134%2FS0361768814010046
12 2 Andrei Tatarnikov
13 1 Alexander Kamkin
h2. 2013
14 6 Andrei Tatarnikov
15 12 Alexander Kamkin
* 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. http://syrcose.ispras.ru/2013/files/submissions/08_syrcose2013.pdf
16 1 Alexander Kamkin
17 12 Alexander Kamkin
* 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. http://www.hse.ru/data/2013/05/28/1284900629/thesis.pdf
18 11 Alexander Kamkin
19
h2. 2012
20
21 12 Alexander Kamkin
* 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. http://syrcose.ispras.ru/2012/files/submissions/08_syrcose2012_submission_25.pdf
22 11 Alexander Kamkin
23
h2. 2011
24
25 12 Alexander Kamkin
* 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. http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5954389