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

First Page		Document Content
Date: 2014-06-19 19:17:27		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 Source URL: www.sti.uniurb.it Download Document from Source Website File Size: 4,38 MB Share Document on Facebook