Software Repairs and Diagnostics