Improving Program Testing and Understanding via Symbolic Execution


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


  • Presentations referencing similar topics