UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages. Our advanced mathematical algorithms enable automated generation of test sequences from specifications, that ensure reliable testing of system behavior with required coverage.

We developed specification extensions for C, C++, C#, and Java programming languages, and tools that support UniTESK technology for the mentioned languages. Besides, we provide a number of services in technology deployment, users training and user support.

On June, 2-6 research workers of the Software Engineering Department Mikhail Chupilko, Andrey Tatarnikov and Aleksey Kamkin attended the University Booth at the Design Automation Conference held in Austin, TX, USA. They defended workshop report on theme “C++TESK and MicroTESK Hardware Verification Toolkits”.

The 7th Spring/Summer Young Researcher’ Colloquium on Software Engineering (SYRCoSE 2013) was held in Kazan, Russia in May 30-31, 2013. The event was organized by Institute for System Programming of RAS, Saint-Petersburg State University and Kazan National Research Technical University named after A.N. Tupolev (KNRTU-KAI), former Kazan Aviation Institute (KAI). It was supported by Intel, Russian Foundation for Basic Research and Nizhny Novgorod Foundation for Education and Research Assistance.