@inproceedings{ICSE-2019-RutledgePKOPZ,
	acmid         = "3339537",
	author        = "Richard Rutledge and Sunjae Park and Haider A. Khan and Alessandro Orso and Milos Prvulovic and Alenka G. Zajic",
	booktitle     = "{Proceedings of the 41st International Conference on Software Engineering}",
	doi           = "10.1109/ICSE.2019.00039",
	isbn          = "978-1-7281-0869-8",
	pages         = "234--245",
	publisher     = "{IEEE / ACM}",
	title         = "{Zero-overhead path prediction with progressive symbolic execution}",
	year          = 2019,
}