- Chandrasekhar Boyapati
- Sarfraz Khurshid
- Darko Marinov
Foundations of Software Engineering (FSE), ACM (2012), pp. 1
Abstract
At ISSTA 2002, the three authors (then Ph.D. students) published the paper Korat: Automated Testing Based on Java Predicates", which won one of the first ACM SIGSOFT Distinguished paper awards. In 2012, the paper won the ACM SIGSOFT Impact Paper Award. The authors briefly recount the motivation behind the Korat research, the ideas presented in the original paper, and some work it inspired.
Research Areas
Learn more about how we do research
We maintain a portfolio of research projects, providing individuals and teams the freedom to emphasize specific types of work