Scaling Symbolic Execution to Large Software Systems

Shranjeno v:

Bibliografske podrobnosti
izdano v:	arXiv.org (Aug 4, 2024), p. n/a
Glavni avtor:	Horvath, Gabor
Drugi avtorji:	Kovacs, Reka, Porkolab, Zoltan
Izdano:	Cornell University Library, arXiv.org
Teme:	Program verification (computers) Error analysis Static code analysis Pattern analysis Software Run time (computers)
Online dostop:	Citation/Abstract Full text outside of ProQuest
Oznake:	Označite Brez oznak, prvi označite!