Richard Rutledge, Sunjae Park, Haider A. Khan, Alessandro Orso, Milos Prvulovic, Alenka G. Zajic. Zero-overhead path prediction with progressive symbolic execution. In Gunter Mussbacher, Joanne M. Atlee, Tevfik Bultan, editors, Proceedings of the 41st International Conference on Software Engineering, ICSE 2019, Montreal, QC, Canada, May 25-31, 2019. pages 234-245, IEEE / ACM, 2019. [doi]
Abstract is missing.