Improving Program Testing and Understanding via Symbolic Execution

Abstract

Title of dissertation: IMPROVING PROGRAM TESTING AND UNDERSTANDING VIA SYMBOLIC EXECUTION Kin Keung Ma, Doctor of Philosophy, 2011 Dissertation directed by: Professor Jeffrey S. Foster Professor Michael Hicks Department of Computer Science Symbolic execution is an automated technique for program testing that has recently become practical, thanks to advances… (More)
View Slides

Topics

  • Presentations referencing similar topics