Controlling Side Effects in Program Repair using Symbolic Execution
Автор: KLEE
Загружено: 2022-10-05
Просмотров: 79
Описание:
Nikhil Parasaram from University College London at the 3nd International KLEE Workshop on Symbolic Execution
KLEE Workshop 2022: https://srg.doc.ic.ac.uk/klee22/
Slides: https://srg.doc.ic.ac.uk/klee22/talks...
Повторяем попытку...
Доступные форматы для скачивания:
Скачать видео
-
Информация по загрузке: