UniTesK: Model Based Testing in Industrial Practice
В. В. Кулямин, Alexander Konstantinovich Petrenko, Alexander Sergeevitch Kossatchev, Igor Borisovich Burdonov · 2003
Abstract. 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 [1].