USENIX ATC '13 - Redundant State Detection for Dynamic Symbolic Execution

Игра Марио

Просмотров: 1 | Время: 28:23 | Голосов: +1 +1 | Скачать

Скачать клип USENIX ATC '13 - Redundant State Detection for Dynamic Symbolic Execution