1. Korat: Automated Testing Based on Java Predicates, ISSTA 2002
   Paper that introduced Korat.
2. Feedback-Directed Random Test Generation, ICSE 2007 [Randoop webpage]
   Paper that introduced Randoop.
3. Korat vs. Grammar-Based Test Generation by Aalok Thakkar
   Note justifying need for Korat-style search over grammar-based test generation.