MicroTESK @ SYRCoSE 2016

New Features
MicroTESK will be presented at the 10th Spring/Summer Young Researchers' Colloquim on Software Engineering (SYRCoSE). The event will take place on May 30 - June 1, 2016 in the Recreation Center of Moscow State University (Krasnovidovo, Mozhaysk Region). We will make the following presentations: A. Kamkin, A. Kotsynyak. Specification-Based Test Program Generation for MIPS64 Memory Management Units. A. Tatarnikov. Language for Describing Templates for Test Program Generation for Microprocessors. SYRCoSE is an annual colloquium on software engineering targeted at young researchers (students, postgraduates, young PhDs, etc.). The main goal of the colloquium is to help young specialists to meet each other, to get more information on work of their colleagues, to exchange their experience, and to practice in presenting their results at international conferences and workshops.  
Read More