Ivannikov Institute for System Programming of the RAS

UniTesK: Model Based Testing in Industrial Practice.


V.Kuliamin, A.Petrenko, A.Kosatchev, I.Bourdonov.


The article presents UniTesK technology, an automated model based test construction method for use in industrial testing of general-purpose software. The approach presented includes automatic generation of test oracles from software contracts, coverage driven test sequence generation, test artifacts reuse. This work stems from the ISP RAS results of academic research and 10-years experience in industrial application of formal testing techniques.

Full text of the paper in pdf


model based testing, formal specifications, finite state machine, FSM based testing.


Proceedings of the 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55-63.

Research Group

Software Engineering

All publications during 2003 All publications