Loop-extended symbolic execution on binary programs.

Prateek Saxena, Pongsin Poosankam, Stephen McCamant, Dawn Song

Browse the full ISSTA paper archive.