|
|
|
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.
|
|
Read more...
|
|
|
Model-Based Testing Workshop 2013 |
|
Monday, 25 March 2013 |
|
Researches of the Software Engineering Department participated in the 8th Model-Based Testing Workshop held in Rome, Italy on the 19 of March. The workshop was associated with ETAPS conference and hosted by Sapienza University of Rome. One section report on theme "Runtime Verification Based on Executable Models: On-the-Fly Matching of Timed Traces" was delivered by Mikhail Chupilko and Alexander Kamkin. Victor Kulamin made report with Jens Grabowski (University of Gottingen, Germany), Alain-Georges Vouffo Feudjio (Thales, Germany), Antal Wu-Hen-Chang (Ericsson, Hungary) and Milan Zoric (ETSI, France) on theme "Towards the Usage of MBT at ETSI".
Further information is available here. |
|
|
Monday, 24 December 2012 |
|
The 7th Spring/Summer Young Researcher’ Colloquium on Software Engineering (SYRCoSE 2013) will be held in Kazan, Russia in May 30-31, 2013. The event is 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 is supported by Intel, Russian Foundation for Basic Research and Nizhny Novgorod Foundation for Education and Research Assistance. We invite students, post-graduates and young PhDs (up to 35 years of age) to participate the colloquium. More information is available here.
|
|
|
ETSI Model-Based Testing User Conference |
|
Tuesday, 02 October 2012 |
|
On September 25-27, 2012 research worker of the Software Engineering Department Victor Kuliamin attended the ETSI Model-Based Testing User Conference, held in Tallinn, Estonia. For more information about the conference click here. |
|
|
