{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T17:20:41Z","timestamp":1725902441098},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319616599"},{"type":"electronic","value":"9783319616605"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"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":[[2017]]},"DOI":"10.1007\/978-3-319-61660-5_24","type":"book-chapter","created":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T09:22:22Z","timestamp":1498555342000},"page":"265-278","source":"Crossref","is-referenced-by-count":2,"title":["catnap: Generating Test Suites of Constrained Combinatorial Testing with Answer Set Programming"],"prefix":"10.1007","author":[{"given":"Mutsunori","family":"Banbara","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Katsumi","family":"Inoue","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Hiromasa","family":"Kaneyuki","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tenda","family":"Okimoto","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Torsten","family":"Schaub","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Takehide","family":"Soh","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Naoyuki","family":"Tamura","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,6,28]]},"reference":[{"key":"24_CR1","unstructured":"Balduccini, M.: Representing constraint satisfaction problems in answer set programming. In: Faber, W., Lee, J. (eds.) Proceedings of the Second Workshop on Answer Set Programming and Other Computing Paradigms (ASPOCP 2009), pp. 16\u201330 (2009)"},{"key":"24_CR2","unstructured":"Banbara, M., Inoue, K., Kaufmann, B., Schaub, T., Soh, T., Tamura, N., Wanko, P.: teaspoon: Solving the curriculum-based course timetabling problems with answer set programming. In: Proceedings of the Eleventh International Conference of the Practice and Theory of Automated Timetabling (PATAT 2016), pp. 13\u201332 (2016)"},{"key":"24_CR3","unstructured":"Banbara, M., Tamura, N., Inoue, K.: Generating event-sequence test cases by answer set programming with the incidence matrix. In: Technical Communications of the 28th International Conference on Logic Programming (ICLP 2012), LIPIcs, vol. 17, pp. 86\u201397. Schloss Dagstuhl (2012)"},{"key":"24_CR4","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511543357","volume-title":"Knowledge Representation, Reasoning and Declarative Problem Solving","author":"C Baral","year":"2003","unstructured":"Baral, C.: Knowledge Representation, Reasoning and Declarative Problem Solving. Cambridge University Press, Cambridge (2003)"},{"issue":"3\u20134","key":"24_CR5","first-page":"237","volume":"5","author":"M Brain","year":"2012","unstructured":"Brain, M., Erdem, E., Inoue, K., Oetsch, J., P\u00fchrer, J., Tompits, H., Yilmaz, C.: Event-sequence testing using answer-set programming. Int. J. Adv. Softw. 5(3\u20134), 237\u2013251 (2012)","journal-title":"Int. J. Adv. Softw."},{"issue":"10","key":"24_CR6","doi-asserted-by":"crossref","first-page":"960","DOI":"10.1016\/j.infsof.2006.03.004","volume":"48","author":"RC Bryce","year":"2006","unstructured":"Bryce, R.C., Colbourn, C.J.: Prioritized interaction testing for pair-wise coverage with seeding and constraints. Inf. Softw. Technol. 48(10), 960\u2013970 (2006)","journal-title":"Inf. Softw. Technol."},{"issue":"7","key":"24_CR7","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 combinatiorial design. IEEE Trans. Softw. Eng. 23(7), 437\u2013444 (1997)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"5","key":"24_CR8","doi-asserted-by":"crossref","first-page":"633","DOI":"10.1109\/TSE.2008.50","volume":"34","author":"MB Cohen","year":"2008","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Constructing interaction test suites for highly-configurable systems in the presence of constraints: a greedy approach. IEEE Trans. Softw. Eng. 34(5), 633\u2013650 (2008)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"24_CR9","doi-asserted-by":"crossref","DOI":"10.1201\/9781420010541","volume-title":"Handbook of Combinatorial Designs","author":"CJ Colbourn","year":"2006","unstructured":"Colbourn, C.J., Dinitz, J.H.: Handbook of Combinatorial Designs, 2nd edn. Chapman & Hall\/CRC, Boca Raton (2006)","edition":"2"},{"key":"24_CR10","unstructured":"Czerwonka, J.: Pairwise testing in real world. Practical extensions to test case generators. In: Proceedings of the 24th Annual Pacific Northwest Software Quality Conference, pp. 419\u2013430 (2006)"},{"key":"24_CR11","unstructured":"Erdem, E., Inoue, K., Oetsch, J., P\u00fchrer, J., Tompits, H., Yilmaz, C.: Answer-set programming as a new approach to event-sequence testing. In: Proceedings of the 3rd International Conference on Advances in System Testing and Validation Lifecycle (VALID 2011), pp. 25\u201334. Xpert Publishing Services (2011)"},{"key":"24_CR12","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 first International Symposium on Search Based Software Engineering (SSBSE 2009), pp. 13\u201322. IEEE (2009)","DOI":"10.1109\/SSBSE.2009.25"},{"key":"24_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"235","DOI":"10.1007\/978-3-642-02846-5_22","volume-title":"Logic Programming","author":"M Gebser","year":"2009","unstructured":"Gebser, M., Ostrowski, M., Schaub, T.: Constraint answer set solving. In: Hill, P.M., Warren, D.S. (eds.) ICLP 2009. LNCS, vol. 5649, pp. 235\u2013249. Springer, Heidelberg (2009). doi:\n10.1007\/978-3-642-02846-5_22"},{"key":"24_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 30th IEEE\/ACM International Conference on Automated Software Engineering (ASE 2015), pp. 494\u2013505. IEEE (2015)","DOI":"10.1109\/ASE.2015.61"},{"issue":"10","key":"24_CR15","doi-asserted-by":"crossref","first-page":"1054","DOI":"10.1145\/4372.4375","volume":"28","author":"R Mandl","year":"1985","unstructured":"Mandl, R.: Orthogonal latin squares: an application of experiment design to compiler testing. Commun. ACM 28(10), 1054\u20131058 (1985)","journal-title":"Commun. ACM"},{"key":"24_CR16","doi-asserted-by":"crossref","unstructured":"Nanba, T., Tsuchiya, T., Kikuno, T.: Constructing test sets for pairwise testing: a SAT-based approach. In: Proceedings of the Second International Conference on Networking and Computing (ICNC 2011), pp. 271\u2013274. IEEE (2011)","DOI":"10.1109\/ICNC.2011.49"},{"issue":"2","key":"24_CR17","first-page":"11:1","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43(2), 11:1\u201311:29 (2011). \nhttp:\/\/doi.acm.org\/10.1145\/1883612.1883618","journal-title":"ACM Comput. Surv."},{"key":"24_CR18","doi-asserted-by":"crossref","unstructured":"Petke, J., Yoo, S., Cohen, M.B., Harman, M.: Efficiency and early fault detection with lower and higher strength combinatorial interaction testing. In: Proceedings of ESEC\/FSE 2013, pp. 26\u201336. ACM (2013)","DOI":"10.1145\/2491411.2491436"},{"key":"24_CR19","unstructured":"Tatsumi, K.: Test case design support system. In: Proceedings of the International Conference on Quality Control (ICQC 1987), pp. 615\u2013620 (1987)"},{"key":"24_CR20","doi-asserted-by":"crossref","unstructured":"Yamada, A., Kitamura, T., Artho, C., Choi, E., Oiwa, Y., Biere, A.: Optimization of combinatorial testing by incremental SAT solving. In: Proceedings of 8th IEEE International Conference on Software Testing, Verification and Validation (ICST 2015), pp. 1\u201310. IEEE (2015)","DOI":"10.1109\/ICST.2015.7102599"},{"key":"24_CR21","doi-asserted-by":"crossref","unstructured":"Yu, L., Lei, Y., Nourozborazjany, M., Kacker, R., Kuhn, D.R.: An efficient algorithm for constraint handling in combinatorial test generation. In: Proceedings of the Sixth IEEE International Conference on Software Testing, Verification and Validation (ICST 2013), pp. 242\u2013251. IEEE (2013)","DOI":"10.1109\/ICST.2013.35"},{"key":"24_CR22","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."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Nonmonotonic Reasoning"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-61660-5_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2017,6,27]],"date-time":"2017-06-27T09:29:20Z","timestamp":1498555760000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-61660-5_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319616599","9783319616605"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-61660-5_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}