Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid - Elvira - Document - PDFSEARCH.IO

First Page	Meta Content
	Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid Add to Reading List Document Date: 2014-06-19 19:17:27 Open Document File Size: 4,38 MB Share Result on Facebook

Test Case Generation by Symbolic Execution: Basic Concepts, a CLP-based Instance, and Actor-based Concurrency Elvira Albert Complutense University of Madrid Add to Reading List