UNITESK

UniTESK is a technology of software testing based on formal specifications. Specifications are written using specialized extensions of traditional programming languages. Our advanced mathematical algorithms enable automated generation of test sequences from specifications, that ensure reliable testing of system behavior with required coverage... UniTESK is the mainstream of methods and tools development for formal specification based testing. We have developed the method concepts, specification extensions of various programming languages, unified test suite architecture... UniTESK - the technology of software testing based on formal specifications