Описан метод поиска специфических поведений формальных моделей, использующий задаваемую пользователем дополнительныю информацию о поведенческих особенностях проектируемой системы, и его применение к автоматическому построению тестовых сценариев для программных систем.

Управляющие системы и машины [Текст] : междунар. научный журнал / НАН Украины. Междунар.науч.-учеб.центр информ.технологий и систем. Ин-т киберн.им.В.М.Глушкова. — статьи публ.на русск.укр. и англ .яз. — К.

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• УДК // Програмне забезпечення
• УДК // Розробка програмного забезпечення