Reducing Faulty Executions Of Distributed Systems