Sökresultat - "генерация тестов"

Extracting Assertions for Conflicts in HDL Descriptions

Alexander Sergeevitch Kamkin, Mikhail Sergeevitch Lebedev, Sergey Alexandrovitch Smolov

electronic resource

Visa; Visa; Visa

Conformance theory development: semantics, formal models, algorithms

Igor Burdonov, Alexander Kossatchev

electronic resource

Visa; Visa; Visa

A Model Checking-Based Method of Functional Test Generation for HDL Descriptions

M. S. Lebedev, S. A. Smolov

electronic resource

Visa; Visa; Visa

Test Readability Optimization in Context of Symbolic Execution

I. A. Yakimov, A. S. Kuznetsov

electronic resource

Visa; Visa; Visa

Tools for Functional Verification of Microprocessors

A. Kamkin, A. Kotsynyak, S. Smolov, A. Tatarnikov, M. Chupilko, A. Sortov

electronic resource

Visa; Visa; Visa

An Extended Finite State Machine-Based Approach to Code Coverage-Directed Test Generation for Hardware Designs

I. . Melnichenko, A. . Kamkin, S. . Smolov

electronic resource

Visa; Visa; Visa

The final models of specification

Igor Bourdonov, Alexander Kosachev

electronic resource

Visa; Visa; Visa

Combinatorial generation of operation system software configurations

V. V. Kuliamin

electronic resource

Visa; Visa; Visa

Error dependencies on classes of implementations under testing

Alexander Kossatchev

electronic resource

Visa; Visa; Visa

How the story of UniTESK technology applications mirrors development of model based testing

V. P. Ivannikov, A. K. Petrenko, V. V. Kuliamin, A. V. Maksimov

electronic resource

Visa; Visa; Visa