A Framework for State-Space Exploration of Java-Based Actor Programs
Korat: automated testing based on Java predicates