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

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