Электронная библиотека (репозиторий) Томского государственного университета

Add to Quick Collection   All 7 Results

Showing items 1 - 7 of 7.
  • «
  • ←
  • 1
  • →
  • »
Sort:
 Add All Items to Quick Collection
Add   On the fault coverage of high-level test derivation methods for digital circuits
Authors: López, Jorge | Vinarsky, Evgeny | Laputenko, Andrey
Source: Novosibirsk, 2017. P. 184-189
Type: статьи в сборниках
Date: 2017
Description: Testing digital circuits is crucial for guaranteeing the correct and reliable functioning of electronic devices. Deriving high quality test suites to check the correctness of such devices is an import ... More
Add   Автоматные методы и алгоритмы синтеза тестов для программного обеспечения с использованием подходов формальной верификации : диссертация на соискание ученой степени кандидата технических наук : 05.13.01.
Authors: Ермаков, Антон Дмитриевич | Евтушенко, Нина Владимировна (научный руководитель)
Type: диссертации
Date: 2016
Add   Автоматизация тестирования Java-приложений
Authors: Томков, Владислав Владимирович | Мирютов, Алексей Анатольевич
Source: Материалы II Всероссийской молодежной научной конференции "Математическое и программное обеспечение информационных, технических и экономических систем", Томск, 16–17 мая 2014 г.. Томск, 2014. С. 35-38
Type: статьи в сборниках
Date: 2014
Add   Мутационное тестирование с использованием генератора мутантов μJAVA
Authors: Ермаков, Антон Дмитриевич
Source: Новые информационные технологии в исследовании сложных структур : материалы десятой Российской конференции с международным участием. Томск, 2014. С. 50-51
Type: статьи в сборниках
Date: 2014
Add   Тестирование программного обеспечения : учебно-методический комплекс
Authors: Матросова, Анжела Юрьевна | Останин, Сергей Александрович
Type: учебные издания
Date: 2007
Description: Загл. с экрана
Add   Использование Mirror драйвера для записи всех изменений экрана компьютера в файл видеоформата FBR
Authors: Лавров, Валерий Александрович
Source: Вестник Томского государственного университета. 2004. № 284 : Серия "Математика. Кибернетика. Информатика". С. 195-198
Type: статьи в журналах
Date: 2004
Add   Практическое сравнение системы BB FlashBack с ее аналогами
Authors: Лавров, Валерий Александрович
Source: Вестник Томского государственного университета. 2004. № 284 : Серия "Математика. Кибернетика. Информатика". С. 187-190
Type: статьи в журналах
Date: 2004
  • «
  • ←
  • 1
  • →
  • »

Creator

Date

Subject

Resource Type

^