Implementing Troubleshooting with Batch Repair