Английская Википедия:Concolic testing: история изменений

Материал из Онлайн справочника
Перейти к навигацииПерейти к поиску

Выбор версий: отметьте версии страницы, которые вы хотите сравнить, и нажмите Enter или кнопку ниже.
Пояснения: (текущ.) — отличия от текущей версии; (пред.) — отличия от предшествующей версии; м — малые изменения.

21 февраля 2024

  • текущ.пред. 01:3101:31, 21 февраля 2024‎ EducationBot обсуждение вклад‎ 16 934 байта +16 934‎ Новая страница: «{{Английская Википедия/Панель перехода}} {{Short description|Software verification technique}} '''Concolic testing''' (a portmanteau of ''concrete'' and ''symbolic'', also known as '''dynamic symbolic execution''') is a hybrid software verification technique that performs symbolic execution, a classical technique that treats program variables as symbolic variables, along a ''concrete execution'' (software testin...»
Источник — http://wikihandbk.com/wiki/Английская_Википедия:Concolic_testing