Reasoning About the Unknown in Static Analysis.

Static program analysis techniques cannot know certain values, such as the value of user input or network state, at analysis time. While such unknown values need to be treated as nondeterministic choices made by the program's execution environment, it is still possible to glean very useful informati...

Descripción completa

Detalles Bibliográficos

Publicado en:	Communications of the ACM Vol. 53; no. 8; pp. 115 - 124
Autores principales:	Dillig, Isil, Dillig, Thomas, Aiken, Alex
Formato:	Artículo
Publicado:	Association for Computing Machinery Aug2010
Materias:	Computer software testing Computer software correctness Debugging Computer operating systems Computer software execution Computer logic
Acceso en línea:	Ver este registro en EBSCOhost