UniTESK: Component Model Based Testing
Alexander Konstantinovich Petrenko, В. В. Кулямин, Andrey Maksimov · 2013
UniTESK is a testing technology based on formal models or formal specifications of requirements to the behavior of software and hardware com- ponents. The most significant applications of UniTESK in industrial projects are described, the experience is summarized, and the prospective directions to the Component Model Based Testing development are estimated.