OpenDST - Deterministic Simulation Testing for Java - View it on GitHub