Replication Management using the State-Machine Approach Fred B. Schneider Summary and Discussion :
Testing Techniques