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

• http://library.khai.edu/library/fulltexts/doc/OIIKT1253/p209-115.pdf

Открытые информационные и компьютерные интегрированные технологии [Текст] : сб. науч. тр. — Х. : Нац. аэрокосмический ун-т "ХАИ", 2009. — 249 с.

• УДК // Гарантії якості програмного забезпечення. Верифікація і оцінка (V&V)
• Праці співробітників ХАІ // Манжос Ю.С./Manzhos Y.
• Праці співробітників ХАІ // Петрик В.Л.
• Праці співробітників ХАІ // Праці співробітників ХАІ/Труды сотрудников ХАИ
• УДК // Якість систем і програмного забезпечення