A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2022; you can also visit the original URL.
The file type is application/pdf.
UniTESK: Component Model Based Testing
2013
International Conference on Information and Communication Technologies in Education, Research, and Industrial Applications
Preserved Fulltext
UniTESK is a testing technology based on formal models or formal specifications of requirements to the behavior of software and hardware components. 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.
dblp:conf/icteri/PetrenkoKM13
fatcat:a56672qpenektppaardtrdn5ye