Results 41 to 44 of about 82 (44)
UniTesK Test Suite Architecture
, 2002 The article presents the main components of the test suite architecture underlying UniTesK test development technology, an automated specification based test development technology for use in industrial testing of general-purpose software. The architecture presented contains such elements as automatically generated oracles, components to monitor ...
Igor B. Bourdonov +3 more
openaire +2 more sources
The UniTESK Approach to Specification-Based Validation of Hardware Designs
Second International Symposium on Leveraging Applications of Formal Methods, Verification and Validation (isola 2006), 2006 Functional validation is a major bottleneck in hardware design. Two main approaches to ensure functional correctness of hardware systems are based on formal verification and simulation techniques. It is widely recognized that formal verification techniques are exhaustive but do not scale well; simulation-based techniques are scalable but are not ...
Alexander Kamkin
openaire +2 more sources