Zero-overhead path prediction with progressive symbolic execution.

Richard Rutledge, Sunjae Park, Haider Adnan Khan, Alessandro Orso, Milos Prvulovic, Alenka G. Zajic

Browse the full ICSE paper archive.