Project

General

Profile

MicroTESK-Related Publications » History » Version 23

Andrei Tatarnikov, 02/15/2018 01:53 PM

1 1 Alexander Kamkin
h1. MicroTESK-Related Publications
2
3 13 Alexander Kamkin
{{toc}}
4
5 19 Andrei Tatarnikov
h2. 2016
6
7 23 Andrei Tatarnikov
* A. Tatarnikov. "An approach to instruction stream generation for functional verification of microprocessor designs.":http://ieeexplore.ieee.org/document/7807721/ Proceedings of East-West Design & Test Symposium (EWDTS), 2016.
8 21 Andrei Tatarnikov
9 22 Andrei Tatarnikov
* A. Tatarnikov. "Language for Describing Templates for Test Program Generation for Microprocessors.":https://www.researchgate.net/profile/Andrei_Tatarnikov/publication/309294796_Language_for_Describing_Templates_for_Test_Program_Generation_for_Microprocessors/links/59196261a6fdcc963e86b0cd/Language-for-Describing-Templates-for-Test-Program-Generation-for-Microprocessors.pdf Proceedings of the Institute for System Programming. 2016. Vol. 28. No. 4. P. 77-98.
10 21 Andrei Tatarnikov
11 14 Andrei Tatarnikov
h2. 2015
12
13 1 Alexander Kamkin
* 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 Verificaition, 2016.
14 18 Andrei Tatarnikov
http://www.slideshare.net/AlexanderKamkin/specificationbased-test-program-generation-for-arm-vmsav864-mmus
15 17 Andrei Tatarnikov
http://ieeexplore.ieee.org/document/7548929/
16 1 Alexander Kamkin
17 22 Andrei Tatarnikov
* A. Kamkin, A. Protsenko, A. Tatarnikov. "_An Approach to Test Program Generation Based on Formal Specifications of Caching and Address Translation Mechanisms_.":http://ispras.ru/proceedings/docs/2015/27/3/isp_27_2015_3_125.pdf Proceedings of the Institute for System Programming Volume 27 (Issue 3). 2015 y. pp. 125-138.
18 14 Andrei Tatarnikov
19 1 Alexander Kamkin
h2. 2014
20 11 Alexander Kamkin
21 22 Andrei Tatarnikov
* A. Kamkin, T. Sergeeva, S. Smolov, A. Tatarnikov, M. Chupilko. "_Extensible Environment for Test Program Generation for Microprocessors_.":http://link.springer.com/article/10.1134%2FS0361768814010046 Programming and Computer Software. January 2014, Volume 40, Issue 1, P. 1-9.
22 2 Andrei Tatarnikov
23 1 Alexander Kamkin
h2. 2013
24
25 22 Andrei Tatarnikov
* A. Kamkin, T. Sergeeva, A. Tatarnikov, A. Utekhin. "_MicroTESK: An Extendable Framework for Test Program Generation_.":http://syrcose.ispras.ru/2013/files/submissions/08_syrcose2013.pdf Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2013. P. 51-57. 
26 1 Alexander Kamkin
27 22 Andrei Tatarnikov
* A. Tatarnikov. "_Architecture Model Based Microprocessor Test Generation Tool_.":http://www.hse.ru/data/2013/05/28/1284900629/thesis.pdf Master’s Degree Thesis, National Research University "Higher School of Economics", School of Software Engineering, Moscow, Russian Federation, June 2013. 
28 11 Alexander Kamkin
29
h2. 2012
30
31 22 Andrei Tatarnikov
* A. Kamkin, A. Tatarnikov. "_MicroTESK: An ADL-Based Reconfigurable Test Program Generator for Microprocessors_.":http://syrcose.ispras.ru/2012/files/submissions/08_syrcose2012_submission_25.pdf Spring/Summer Young Researchers’ Colloquium on Software Engineering (SYRCoSE), 2012. P. 64-69.
32 11 Alexander Kamkin
33
h2. 2011
34
35 23 Andrei Tatarnikov
* A. Kamkin, E. Kornykhin, D. Vorobyev. "_Reconfigurable Model-Based Test Program Generator for Microprocessors_.":http://ieeexplore.ieee.org/xpl/articleDetails.jsp?arnumber=5954389 IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2011. P. 47-54.