UniTesK: Model Based Testing in Industrial Practice.
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
Proceedings of the 1-st European Conference on Model-Driven Software Engineering, Nurnberg, December 2003, pp. 55-63.