Concolic Unbounded-Thread Reachability via Loop Summaries.

Peizun Liu, Thomas Wahl

Browse the full ICFEM paper archive.