General

Profile

Denis Efremov

  • Login: efremov
  • Email: efremov@ispras.ru
  • Registered on: 07/20/2011
  • Last connection: 04/04/2023

Issues

open closed Total
Assigned issues 15 9 24
Reported issues 48 27 75

Projects

Project Roles Registered on
coreboot libgfxinit Developer 02/28/2022
AstraVer Toolset Manager, Developer, Project Creator 04/26/2018
Deductive Verification Tools for Linux Kernel Developer, Project Creator 09/02/2014
Verification Tool Supports Manager, Developer 07/02/2015
Дополнительные материалы к монографии Manager, Developer, Project Creator 04/28/2018
KEDR Manager, Developer 04/13/2017
Linux Driver Verification Developer 04/25/2012
LDV Tools Developer 03/17/2018
CPAchecker Developer 07/28/2018
CVC3 with small optimizations for BLAST Developer 07/25/2018
Linux Kernel Safety RuleDB Developer 04/25/2012
Runtime Verification Manager, Developer, Project Creator, Product Owner 01/13/2023
VerKer - Verification of Linux Kernel Library Functions Manager, Developer, Reporter, Technical Writer, Project Creator, Product Owner 05/09/2017

Activity

04/04/2023

01:01 PM Runtime Verification [FEATURE] #12321: Генерацию тестов для ядра операционной системы по непокрытым состояниям модели
См. https://forge.ispras.ru/issues/10322 Denis Efremov
01:00 PM Runtime Verification [FEATURE] #12321: Генерацию тестов для ядра операционной системы по непокрытым состояниям модели

В ProB есть поддержка генерации тестов, два режима: model-checking-based, constraint-based. https://www3.hhu.de/s... Denis Efremov
01:00 PM Runtime Verification [FEATURE] #12321 (Open): Генерацию тестов для ядра операционной системы по непокрытым состояниям модели
... Denis Efremov
12:59 PM Runtime Verification [FEATURE] #12320 (Open): Конфигурируемость
... Denis Efremov
12:58 PM Runtime Verification [FEATURE] #12319 (Open): Разработка документации
... Denis Efremov
12:58 PM Runtime Verification [FEATURE] #12318 (Open): Анализ результатов работы фаззеров
... Denis Efremov
12:58 PM Runtime Verification [FEATURE] #12317 (Open): Отображение покрытия по модели в графическом интерфейсе
... Denis Efremov
12:57 PM Runtime Verification [FEATURE] #12316 (Open): Поддержка параллельного запуска тестов на одной операционной системе
... Denis Efremov
12:56 PM Runtime Verification [FEATURE] #12315 (Open): Поддержка онлайн режима работы
... Denis Efremov
12:55 PM Runtime Verification [FEATURE] #12314 (Open): Запуск и мониторинг тестов в контейнерах
... Denis Efremov

Also available in: Atom