Колчин А. В. Метод направления поиска и генерации тестовых сценариев при верификации формальных моделей асинхронных систем = A method for guided search and test scenarios generation in verification of formal models of asynchronous systems / А. В. Колчин // Пробл. програмув. - 2008. - № 4. - С. 5-12. - Библиогр.: 23 назв. - рус.
A guided search method for automatic test scenario building during verification proposed. The method uses user-defined regular expressions as test purposes and for model behavior traversal bounding. Search managing strategies together with trace and state equivalence weakening described.
Шифр НБУВ: Ж16833Пошук видання у каталогах НБУВДодаткова інформація про автора(ів) публікації: (cписок формується автоматично, до списку можуть бути включені персоналії з подібними іменами або однофамільці)
Якщо, ви не знайшли інформацію про автора(ів) публікації, маєте бажання виправити або відобразити більш докладну інформацію про науковців України запрошуємо заповнити "Анкету науковця"