{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T06:13:19Z","timestamp":1725862399868},"publisher-location":"Cham","reference-count":16,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319429106"},{"type":"electronic","value":"9783319429113"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2016]]},"DOI":"10.1007\/978-3-319-42911-3_22","type":"book-chapter","created":{"date-parts":[[2016,8,9]],"date-time":"2016-08-09T00:01:34Z","timestamp":1470700894000},"page":"262-270","source":"Crossref","is-referenced-by-count":1,"title":["Generating Covering Arrays with Pseudo-Boolean Constraint Solving and Balancing Heuristic"],"prefix":"10.1007","author":[{"given":"Hai","family":"Liu","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feifei","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jian","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,8,10]]},"reference":[{"issue":"7","key":"22_CR1","doi-asserted-by":"crossref","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"DM Cohen","year":"1997","unstructured":"Cohen, D.M., Dalal, S.R., Fredman, M.L., Patton, G.C.: The AETG system: an approach to testing based on combinatorial design. IEEE Trans. Software Eng. 23(7), 437\u2013444 (1997)","journal-title":"IEEE Trans. Software Eng."},{"key":"22_CR2","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Gibbons, P.B., Mugridge, W.B., Colbourn, C.J.: Constructing test suites for interaction testing. In: Proceedings of ICSE 2003, pp. 38\u201348 (2003)","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"22_CR3","unstructured":"Czerwonka, J.: Pairwise testing in the real world. In: Proceedings of the 24th Pacific Northwest Software Quality Conference (PNSQC 2006), pp. 419\u2013430 (2006)"},{"key":"22_CR4","doi-asserted-by":"crossref","unstructured":"Garvin, B.J., Cohen, M.B., Dwyer, M.B.: An improved meta-heuristic search for constrained interaction testing. In: Proceedings of the 1st International Symposium on Search Based Software Engineering (SBSE 2009), pp. 13\u201322 (2009)","DOI":"10.1109\/SSBSE.2009.25"},{"issue":"2\u20133","key":"22_CR5","doi-asserted-by":"crossref","first-page":"199","DOI":"10.1007\/s10601-006-7094-9","volume":"11","author":"B Hnich","year":"2006","unstructured":"Hnich, B., Prestwich, S.D., Selensky, E., Smith, B.M.: Constraint models for the covering test problem. Constraints 11(2\u20133), 199\u2013219 (2006)","journal-title":"Constraints"},{"key":"22_CR6","unstructured":"Kuhn, D.R., Michael, J.R.: An investigation of the applicability of design of experiments to software testing. In: Proceedings of the 27th Annual NASA Goddard\/IEEE Software Engineering Workshop (2002)"},{"key":"22_CR7","unstructured":"Lei, Y., Tai, K.C.: In-parameter-order: a test generation strategy for pair-wise testing. In: Proceedings of the 3rd IEEE International Symposium on High-Assurance Systems Engineering (HASE 1998), pp. 254\u2013261. IEEE Computer Society (1998)"},{"key":"22_CR8","doi-asserted-by":"crossref","unstructured":"Lei, Y., Kacker, R., Kuhn, D.R., Okun, V., Lawrence, J.: IPOG: a general strategy for T-way software testing. In: Proceedings of the 14th Annual IEEE International Conference and Workshops on the Engineering of Computer-Based Systems (ECBS 2007), pp. 549\u2013556. IEEE (2007)","DOI":"10.1109\/ECBS.2007.47"},{"issue":"3","key":"22_CR9","doi-asserted-by":"crossref","first-page":"125","DOI":"10.1002\/stvr.381","volume":"18","author":"Y Lei","year":"2008","unstructured":"Lei, Y., Kacker, R., Kuhn, D.R., Okun, V., Lawrence, J.: IPOG\/IPOG-D: efficient test generation for multi-way combinatorial testing. Softw. Test. Verification Reliab. 18(3), 125\u2013148 (2008)","journal-title":"Softw. Test. Verification Reliab."},{"issue":"10","key":"22_CR10","doi-asserted-by":"crossref","first-page":"1681","DOI":"10.1016\/j.jss.2008.02.034","volume":"81","author":"J Yan","year":"2008","unstructured":"Yan, J., Zhang, J.: A backtracking search tool for constructing combinatorial test suites. J. Syst. Softw. 81(10), 1681\u20131693 (2008)","journal-title":"J. Syst. Softw."},{"key":"22_CR11","series-title":"Springer Briefs in Computer Science","volume-title":"Automatic Generation of Combinatorial Test Data","author":"J Zhang","year":"2014","unstructured":"Zhang, J., Zhang, Z., Ma, F.: Automatic Generation of Combinatorial Test Data. Springer Briefs in Computer Science. Springer, Heidelberg (2014). ISBN 978-3-662-43428-4"},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"191","DOI":"10.1016\/j.jss.2014.09.001","volume":"98","author":"Z Zhang","year":"2014","unstructured":"Zhang, Z., Yan, J., Zhao, Y., Zhang, J.: Generating combinatorial test suite using combinatorial optimization. J. Syst. Softw. 98, 191\u2013207 (2014)","journal-title":"J. Syst. Softw."},{"key":"22_CR13","doi-asserted-by":"crossref","first-page":"149","DOI":"10.1016\/j.disc.2003.11.029","volume":"284","author":"A Hartman","year":"2004","unstructured":"Hartman, A., Raskin, L.: Problems and algorithms for covering arrays. Discrete Math. 284, 149\u2013156 (2004)","journal-title":"Discrete Math."},{"key":"22_CR14","doi-asserted-by":"crossref","unstructured":"Lin, J., Luo, C., Cai, S., Su, K., Hao, D., Zhang, L.: TCA: an efficient two-mode meta-heuristic algorithm for combinatorial test generation. In: Proceedings of ASE 2015, pp. 494\u2013505 (2015)","DOI":"10.1109\/ASE.2015.61"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"crossref","first-page":"247","DOI":"10.1007\/978-3-540-89197-0_25","volume-title":"PRICAI 2008: Trends in Artificial Intelligence","author":"F Ma","year":"2008","unstructured":"Ma, F., Zhang, J.: Finding orthogonal arrays using satisfiability checkers and symmetry breaking constraints. In: Ho, T.-B., Zhou, Z.-H. (eds.) PRICAI 2008. LNCS (LNAI), vol. 5351, pp. 247\u2013259. Springer, Heidelberg (2008)"},{"key":"22_CR16","unstructured":"The clasp webpage. http:\/\/potassco.sourceforge.net\/"}],"container-title":["Lecture Notes in Computer Science","PRICAI 2016: Trends in Artificial Intelligence"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-42911-3_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,24]],"date-time":"2017-06-24T16:14:35Z","timestamp":1498320875000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-42911-3_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319429106","9783319429113"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-42911-3_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2016]]}}}