Scaling Symbolic Execution to Large Software Systems

Збережено в:

Бібліографічні деталі
Опубліковано в::	arXiv.org (Aug 4, 2024), p. n/a
Автор:	Horvath, Gabor
Інші автори:	Kovacs, Reka, Porkolab, Zoltan
Опубліковано:	Cornell University Library, arXiv.org
Предмети:	Program verification (computers) Error analysis Static code analysis Pattern analysis Software Run time (computers)
Онлайн доступ:	Citation/Abstract Full text outside of ProQuest
Теги:	Додати тег Немає тегів, Будьте першим, хто поставить тег для цього запису!