| |
Летичевский, А. А.
Эксперименты с дедуктивным тестированием реактивных систем [Текст] / А. А. Летичевский
// Математичні машини і системи. – 2013. – № 4. – С. 20-28.
Рассматривается пример дедуктивного тестирования реактивной системы. Техника дедуктивного тестирования с использованием символьного выполнения программы позволяет получить наиболее полное покрытие наблюдаемых данных. |
