![Software / Software testing / Automated theorem proving / Concolic testing / Symbolic execution / Software metrics / Control flow graph / KeY / Code coverage / Algorithm / Data-flow analysis / GNU Core Utilities Software / Software testing / Automated theorem proving / Concolic testing / Symbolic execution / Software metrics / Control flow graph / KeY / Code coverage / Algorithm / Data-flow analysis / GNU Core Utilities](https://www.pdfsearch.io/img/8a02e327333706b0162b20e1dd1790a5.jpg) Date: 2014-05-29 15:38:01Software Software testing Automated theorem proving Concolic testing Symbolic execution Software metrics Control flow graph KeY Code coverage Algorithm Data-flow analysis GNU Core Utilities | | Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.eduAdd to Reading ListSource URL: users.ece.cmu.eduDownload Document from Source Website File Size: 553,37 KBShare Document on Facebook
|