![Computer programming / Symbolic execution / Concolic testing / Buffer overflow / Algorithm / Infinite loop / Function / Stack / Dependence analysis / Software bugs / Software engineering / Computing Computer programming / Symbolic execution / Concolic testing / Buffer overflow / Algorithm / Infinite loop / Function / Stack / Dependence analysis / Software bugs / Software engineering / Computing](https://www.pdfsearch.io/img/2c9cd205d94fa6ed202df857372ec4d9.jpg) Date: 2013-09-09 05:44:56Computer programming Symbolic execution Concolic testing Buffer overflow Algorithm Infinite loop Function Stack Dependence analysis Software bugs Software engineering Computing | | Loop-Extended Symbolic Execution on Binary Programs Prateek Saxena Pongsin Poosankam† Stephen McCamant Dawn Song University of California, Berkeley and † Carnegie Mellon University
Document is deleted from original location. Use the Download Button below to download from the Web Archive.Download Document from Web Archive File Size: 248,29 KB
|