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.