Execution synthesis: a technique for automated software debugging.

Cristian Zamfir, George Candea

Browse the full EuroSys paper archive.