How is Dynamic Symbolic Execution Different from Manual Testing?  An Experience Report on KLEE Xiaoyin Wang, Lingming Zhang, Philip Tanofsky University of Texas at San Antonio - Dynamic testing - Document - PDFSEARCH.IO

First Page	Meta Content
	How is Dynamic Symbolic Execution Different from Manual Testing?  An Experience Report on KLEE Xiaoyin Wang, Lingming Zhang, Philip Tanofsky University of Texas at San Antonio Add to Reading List Document Date: 2015-07-17 15:27:25 Open Document File Size: 2,04 MB Share Result on Facebook

How is Dynamic Symbolic Execution Different from Manual Testing? An Experience Report on KLEE Xiaoyin Wang, Lingming Zhang, Philip Tanofsky University of Texas at San AntonioAdd to Reading List