Open AccessLoop-Extended Symbolic Execution on Binary Programs
Author(s) -
Prateek Saxena,
Pongsin Poosankam,
Stephen McCamant,
Dawn Song
Publication year - 2009
Publication title -
citeseer x (the pennsylvania state university)
Language(s) - Uncategorized
Resource type - Reports
DOI - 10.21236/ada538843
Subject(s) - loop (graph theory) , binary number , symbolic execution , computer science , programming language , parallel computing , arithmetic , mathematics , combinatorics , software
Accelerating Research
Robert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom
Address
John Eccles HouseRobert Robinson Avenue,
Oxford Science Park, Oxford
OX4 4GP, United Kingdom