Replaying Mechanism for Serializability Anomalies