Systematic Software Testing: The Korat Approach

   Abstract