TY - GEN
T1 - The comKorat tool
T2 - 8th International Symposium on NASA Formal Methods, NFM 2016
AU - Zhong, Hua
AU - Zhang, Lingming
AU - Khurshid, Sarfraz
N1 - Funding Information:
Part of this work was completed when the first author worked at Yahoo!. Lingming Zhang was funded in part by UT Dallas start-up fund and Google Faculty Research Award. Sarfraz Khurshid was funded in part by National Science Foundation (Grant No. CCF-0845628).
Publisher Copyright:
© Springer International Publishing Switzerland 2016.
PY - 2016
Y1 - 2016
N2 - This tool paper presents comKorat, which unifies constraint based generation of structurally complex tests with combinatorial testing. Constraint-based test generation is an effective approach for generating structurally complex inputs for systematic testing. While this approach can typically generate large numbers of tests, it has limited scalability – tests generated are usually only up to a small bound on input size. Combinatorial test generation, e.g., pair-wise testing, is a more scalable approach but is challenging to apply on commercial software systems that require complex input structures that cannot be formed by using arbitrary combinations. The comKorat tool integrates Korat and ACTS test generators to generate test suites for large scale commercial systems. This paper presents a case-study of applying comKorat on a software application developed at Yahoo!. The experimental results show that comKorat outperforms existing solution in execution time and finds a total of 23 previously unknown bugs in the application.
AB - This tool paper presents comKorat, which unifies constraint based generation of structurally complex tests with combinatorial testing. Constraint-based test generation is an effective approach for generating structurally complex inputs for systematic testing. While this approach can typically generate large numbers of tests, it has limited scalability – tests generated are usually only up to a small bound on input size. Combinatorial test generation, e.g., pair-wise testing, is a more scalable approach but is challenging to apply on commercial software systems that require complex input structures that cannot be formed by using arbitrary combinations. The comKorat tool integrates Korat and ACTS test generators to generate test suites for large scale commercial systems. This paper presents a case-study of applying comKorat on a software application developed at Yahoo!. The experimental results show that comKorat outperforms existing solution in execution time and finds a total of 23 previously unknown bugs in the application.
UR - http://www.scopus.com/inward/record.url?scp=84976622387&partnerID=8YFLogxK
UR - http://www.scopus.com/inward/citedby.url?scp=84976622387&partnerID=8YFLogxK
U2 - 10.1007/978-3-319-40648-0_9
DO - 10.1007/978-3-319-40648-0_9
M3 - Conference contribution
AN - SCOPUS:84976622387
SN - 9783319406473
T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
SP - 107
EP - 113
BT - NASA Formal Methods - 8th International Symposium, NFM 2016, Proceedings
A2 - Tkachuk, Oksana
A2 - Rayadurgam, Sanjai
PB - Springer
Y2 - 7 June 2016 through 9 June 2016
ER -