Execution synthesis: A technique for automated software debugging (2010)

by C Zamfir, G Candea
Venue:In Proceedings of the European Conference on Computer Systems