论文信息 - ACM SIGSOFT Impact Paper Award 2012: Systematic Software Testing: The Korat Approach

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

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 fi rst 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.

[1] Daniel Jackson,et al. Alloy: a lightweight object modelling notation , 2002, TSEM.

[2] Darko Marinov,et al. Automatic testing of software with structurally complex inputs , 2005 .

[3] Sarfraz Khurshid,et al. Korat: automated testing based on Java predicates , 2002, ISSTA '02.

[4] S. L. Gerhart,et al. Toward a theory of test data selection , 1975, IEEE Transactions on Software Engineering.

[5] Sarfraz Khurshid,et al. Parallel test generation and execution with Korat , 2007, ESEC-FSE '07.

[6] Junaid Haroon Siddiqui,et al. Improving systematic constraint-driven analysis using incremental and parallel techniques , 2012 .

[7] Chandrasekhar Boyapati,et al. Glass Box Software Model Checking , 2011 .

[8] Sarfraz Khurshid,et al. TestEra: a novel framework for automated testing of Java programs , 2001, Proceedings 16th Annual International Conference on Automated Software Engineering (ASE 2001).

[9] Sarfraz Khurshid,et al. Assertion-based repair of complex data structures , 2007, ASE.

[10] Sarfraz Khurshid,et al. Generalized Symbolic Execution for Model Checking and Testing , 2003, TACAS.