Eliminating bugs in real systems