![](https://www.pdfsearch.io/img/cffada938180edda1f30fe3474d8c7e6.jpg) 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 ListSource URL: www.sti.uniurb.itDownload Document from Source Website File Size: 4,38 MBShare Document on Facebook
|