ABSTRACT Title of dissertation: IMPROVING PROGRAM TESTING AND UNDERSTANDING

First Page		Document Content
Date: 2011-12-16 11:38:46 Concolic testing Algorithm Ln Mathematics Software testing Abstract interpretation Symbolic execution Computing		ABSTRACT Title of dissertation: IMPROVING PROGRAM TESTING AND UNDERSTANDING Add to Reading List Source URL: www.cs.umd.edu Download Document from Source Website File Size: 1,43 MB Share Document on Facebook