Automated debugging: are we close? | Synapse