Protocol-Aware Deterministic Simulation Testing