Systematic Software Testing : The Korat Approach ACM SIGSOFT Impact Paper Award 2012