MicroTESK-Related Publications » History » Version 21
Andrei Tatarnikov, 02/15/2018 01:44 PM
| 1 | 1 | Alexander Kamkin | h1. MicroTESK-Related Publications |
|---|---|---|---|
| 2 | |||
| 3 | 13 | Alexander Kamkin | {{toc}} |
| 4 | |||
| 5 | 19 | Andrei Tatarnikov | h2. 2016 |
| 6 | |||
| 7 | 20 | Andrei Tatarnikov | * Andrei Tatarnikov. An approach to instruction stream generation for functional verification of microprocessor designs. Proceedings of East-West Design & Test Symposium (EWDTS), 2016. |
| 8 | http://ieeexplore.ieee.org/document/7807721/ |
||
| 9 | |||
| 10 | 21 | Andrei Tatarnikov | * 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. |
| 11 | 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 |
||
| 12 | |||
| 13 | 14 | Andrei Tatarnikov | h2. 2015 |
| 14 | |||
| 15 | 18 | Andrei Tatarnikov | * 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. |
| 16 | http://www.slideshare.net/AlexanderKamkin/specificationbased-test-program-generation-for-arm-vmsav864-mmus |
||
| 17 | 17 | Andrei Tatarnikov | http://ieeexplore.ieee.org/document/7548929/ |
| 18 | 15 | Alexander Kamkin | |
| 19 | 14 | Andrei Tatarnikov | * 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 |
| 20 | |||
| 21 | 11 | Alexander Kamkin | h2. 2014 |
| 22 | 1 | Alexander Kamkin | |
| 23 | 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 |
| 24 | 2 | Andrei Tatarnikov | |
| 25 | 1 | Alexander Kamkin | h2. 2013 |
| 26 | 6 | Andrei Tatarnikov | |
| 27 | 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 |
| 28 | 1 | Alexander Kamkin | |
| 29 | 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 |
| 30 | 11 | Alexander Kamkin | |
| 31 | h2. 2012 |
||
| 32 | |||
| 33 | 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 |
| 34 | 11 | Alexander Kamkin | |
| 35 | h2. 2011 |
||
| 36 | |||
| 37 | 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 |