Туркін, Ігор Борисович, Національний аерокосмічний університет ім. М.Є. Жуковського “ХАІ”, Ukraine
-
Інженерія програмного забезпечення Том 5 № 1 (2011) - ТЕСТУВАННЯ, ВАЛІДАЦІЯ ТА ВЕРИФІКАЦІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
ДОКАЗОВА НЕЗАЛЕЖНА ВЕРИФІКАЦІЯ ТА ПРОГНОЗУВАННЯ ПРИХОВАНИХ ДЕФЕКТІВ КРИТИЧНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ НА БАЗІ ДИВЕРСНОГО ВИМІРЮВАННЯ ІНВАРІАНТІВ
Анотація PDF