Systematic software testing: The Korat approach

Chandrasekhar Boyapati, Sarfraz Khurshid, Darko Marinov

Research output: Chapter in Book/Report/Conference proceedingConference contribution

Abstract

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.

Original languageEnglish (US)
Title of host publicationProceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012
StatePublished - Dec 24 2012
Event20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2012 - Cary, NC, United States
Duration: Nov 11 2012Nov 16 2012

Publication series

NameProceedings of the ACM SIGSOFT 20th International Symposium on the Foundations of Software Engineering, FSE 2012

Other

Other20th ACM SIGSOFT International Symposium on the Foundations of Software Engineering, FSE 2012
Country/TerritoryUnited States
CityCary, NC
Period11/11/1211/16/12

ASJC Scopus subject areas

  • Software

Fingerprint

Dive into the research topics of 'Systematic software testing: The Korat approach'. Together they form a unique fingerprint.

Cite this