Премини към основното съдържание
ИТ в сигурността
Екип
Изследователи
Сътрудници
Специалисти
Докторанти
Проекти
Текущи
Предстоящи
Завършени
Курсове
Отбранителна политика
Изследвания на сигурността
Киберсигурност
Администрация
Мениджмънт
Икономика
Иновации
Теми
виж всички
Ресурси
Публикации
Доклади
Позиции на ЦМСО
Презентации
Книги
Събития
Партньори
Контакти
Biblio
Export 2 results:
RTF
EndNote XML
Filters:
Автор
is
Stefan Bucur
[Clear All Filters]
2011
Bucur, Stefan
,
Cristian Zamfir
,
George Cande
, and
Vlad Ureche
.
Parallel Symbolic Execution for Automated Real-World Software Testing
In
6th ACM SIGOPS/EuroSys Conference on Computer Systems
., 2011.
Google Scholar
RTF
EndNote XML
2009
Ciortea, Liviu
,
Stefan Bucur
,
Vitaly Chipounov
,
George Candea
, and
Cristian Zamfir
.
"
Cloud9: A Software Testing Service
."
ACM SIGOPS Operating Systems Review 43:4
(2009).
Google Scholar
RTF
EndNote XML
English
Български
Форма за търсене
Търси
Resources
Политика за сигурност
Киберсигурност
Разузнаване
Вътрешен ред и сигурност
Terrorism
Операции
Технологии и индустрия
Управление на човешките ресурси
Управление на аквизицията
Стратегия
Концепции и доктрини
Мениджмънт
Икономика на отбраната
Финансов мениджмънт
Мениджмът на информация и знание
Симулации и подготовка
Управление на промяната
Взимане на решение
Добро управление