Сергієнко, Володимир Володимирович, Сертифікаційний центр АСУ ДП Держцентрякості, м. Харків., Ukraine

• Інженерія програмного забезпечення Том 5 № 1 (2011) - ТЕСТУВАННЯ, ВАЛІДАЦІЯ ТА ВЕРИФІКАЦІЯ ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ
  ДОКАЗОВА НЕЗАЛЕЖНА ВЕРИФІКАЦІЯ ТА ПРОГНОЗУВАННЯ ПРИХОВАНИХ ДЕФЕКТІВ КРИТИЧНОГО ПРОГРАМНОГО ЗАБЕЗПЕЧЕННЯ НА БАЗІ ДИВЕРСНОГО ВИМІРЮВАННЯ ІНВАРІАНТІВ
  Анотація  PDF