TY - GEN
T1 - Systematic software testing
T2 - 20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2012
AU - Boyapati, Chandrasekhar
AU - Khurshid, Sarfraz
AU - Marinov, Darko
PY - 2012/12/24
Y1 - 2012/12/24
N2 - At ISSTA 2002, three 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 briey recount the motivation behind Korat research, the ideas presented in the original paper, and some work it inspired.
AB - At ISSTA 2002, three 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 briey recount the motivation behind Korat research, the ideas presented in the original paper, and some work it inspired.
UR - http://www.scopus.com/inward/record.url?scp=84871322989&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84871322989&partnerID=8YFLogxK
M3 - Conference contribution
AN - SCOPUS:84871322989
SN - 9781450316149
T3 - Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012
BT - Proceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012
Y2 - 11 November 2012 through 16 November 2012
ER -