Back to Results
First PageMeta Content
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


Enhancing Symbolic Execution with Veritesting Thanassis Avgerinos, Alexandre Rebert, Sang Kil Cha, and David Brumley Carnegie Mellon University {thanassis, alexandre, sangkilc, dbrumley}@cmu.edu
Add to Reading List

Document Date: 2014-05-29 15:38:01


Open Document

File Size: 553,37 KB

Share Result on Facebook