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

Chandrasekhar Boyapati,Sarfraz Khurshid,Darko Marinov

SIGSOFT/FSE'12: 20th ACM SIGSOFT Symposium on the Foundations of Software Engineering Cary North Carolina November, 2012（2012）

引用 1|浏览3

暂无评分

摘要

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 Korat research, the ideas presented in the original paper, and some work it inspired.

查看译文

AI 理解论文

溯源树

样例

生成溯源树，研究论文发展脉络

Chat Paper

正在生成论文摘要