A Framework for State-Space Exploration of Java-Based Actor Programs
KLEE: Unassisted and Automatic Generation of High-Coverage Tests for Complex Systems Programs