{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,8]],"date-time":"2024-09-08T21:43:04Z","timestamp":1725831784348},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319249520"},{"type":"electronic","value":"9783319249537"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-319-24953-7_22","type":"book-chapter","created":{"date-parts":[[2015,10,7]],"date-time":"2015-10-07T11:00:11Z","timestamp":1444215611000},"page":"276-292","source":"Crossref","is-referenced-by-count":6,"title":["Lattice-Based Semantics for Combinatorial Model Evolution"],"prefix":"10.1007","author":[{"given":"Rachel","family":"Tzoref-Brill","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shahar","family":"Maoz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,22]]},"reference":[{"key":"22_CR1","unstructured":"Burroughs, K., Jain, A., Erickson, R.L.: Improved quality of protocol testing through techniques of experimental design. In: SUPERCOMM\/ICC (1994)"},{"issue":"6","key":"22_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1218776.1218785","volume":"31","author":"MB Cohen","year":"2006","unstructured":"Cohen, M.B., Snyder, J., Rothermel, G.: Testing across configurations: implications for combinatorial testing. SIGSOFT Softw. Eng. Notes 31(6), 1\u20139 (2006)","journal-title":"SIGSOFT Softw. Eng. Notes"},{"key":"22_CR3","doi-asserted-by":"crossref","unstructured":"Cousot, P., Cousot, R.: Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints. In: POPL (1977)","DOI":"10.1145\/512950.512973"},{"key":"22_CR4","unstructured":"Czerwonka, J.: Pairwise Testing in Real World. In: PNSQC (2006)"},{"key":"22_CR5","doi-asserted-by":"crossref","unstructured":"Dalal, S.R., Jain, A., Karunanithi, N., Leaton, J.M., Lott, C.M., Patton, G.C., Horowitz, B.M.: Model-based testing in practice. In: ICSE (1999)","DOI":"10.1145\/302405.302640"},{"issue":"2","key":"22_CR6","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/244795.244800","volume":"19","author":"D Dams","year":"1997","unstructured":"Dams, D., Gerth, R., Grumberg, O.: Abstract interpretation of reactive systems. ACM Trans. Program. Lang. Syst. 19(2), 253\u2013291 (1997)","journal-title":"ACM Trans. Program. Lang. Syst."},{"key":"22_CR7","volume-title":"Introduction To Lattices and Order","author":"BA Davey","year":"1990","unstructured":"Davey, B.A., Priestley, H.A.: Introduction To Lattices and Order. Cambridge University Press, Cambridge (1990)"},{"issue":"4","key":"22_CR8","doi-asserted-by":"publisher","first-page":"583","DOI":"10.1007\/s10664-006-9024-2","volume":"11","author":"M Grindal","year":"2006","unstructured":"Grindal, M., Lindstr\u00f6m, B., Offutt, J., Andler, S.F.: An evaluation of combination strategies for test case selection. Softw. Eng. Empirical 11(4), 583\u2013611 (2006)","journal-title":"Softw. Eng. Empirical"},{"key":"22_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1007\/978-3-540-30579-8_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"O Grumberg","year":"2005","unstructured":"Grumberg, O., Lange, M., Leucker, M., Shoham, S.: Don\u2019t know in the \n                    \n                      \n                    \n                    $${\\mu }$$\n                    \n                      \n                        \u03bc\n                      \n                    \n                  -Calculus. In: Cousot, R. (ed.) VMCAI 2005. LNCS, vol. 3385, pp. 233\u2013249. Springer, Heidelberg (2005)"},{"key":"22_CR10","unstructured":"IBM Functional Coverage Unified Solution (IBM FOCUS). \n                    http:\/\/researcher.watson.ibm.com\/researcher\/view_project.php?id=1871"},{"key":"22_CR11","doi-asserted-by":"crossref","unstructured":"Katoen, J.-P., Klink, D., Leucker, M., Wolf, V.: Three-valued abstraction for probabilistic systems. In: JLAP (2012)","DOI":"10.1016\/j.jlap.2012.03.007"},{"issue":"6","key":"22_CR12","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"DR Kuhn","year":"2004","unstructured":"Kuhn, D.R., Wallace, D.R., Gallo, A.M.: Software fault interactions and implications for software testing. IEEE Trans. Softw. Eng. 30(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"22_CR13","doi-asserted-by":"crossref","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: ADDiff: semantic differencing for activity diagrams. In: ESEC\/FSE (2011)","DOI":"10.1145\/2025113.2025140"},{"key":"22_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-642-22655-7_12","volume-title":"ECOOP 2011 \u2013 Object-Oriented Programming","author":"S Maoz","year":"2011","unstructured":"Maoz, S., Ringert, J.O., Rumpe, B.: CDDiff: semantic differencing for class diagrams. In: Mezini, M. (ed.) ECOOP 2011. LNCS, vol. 6813, pp. 230\u2013254. Springer, Heidelberg (2011)"},{"key":"22_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/978-3-642-04761-9_21","volume-title":"Automated Technology for Verification and Analysis","author":"Y Meller","year":"2009","unstructured":"Meller, Y., Grumberg, O., Shoham, S.: A framework for compositional verification of multi-valued systems via abstraction-refinement. In: Liu, Z., Ravn, A.P. (eds.) ATVA 2009. LNCS, vol. 5799, pp. 271\u2013288. Springer, Heidelberg (2009)"},{"issue":"2","key":"22_CR16","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1145\/1883612.1883618","volume":"43","author":"C Nie","year":"2011","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Comput. Surv. 43(2), 11 (2011)","journal-title":"ACM Comput. Surv."},{"key":"22_CR17","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-03811-6","volume-title":"Principles of Program Analysis","author":"F Nielson","year":"1999","unstructured":"Nielson, F., Nielson, H.R., Hankin, C.: Principles of Program Analysis. Springer, New York (1999)"},{"key":"22_CR18","unstructured":"Pairwise testing website. \n                    http:\/\/www.pairwise.org\/tools.asp"},{"key":"22_CR19","doi-asserted-by":"crossref","unstructured":"Partush, N., Yahav, E.: Abstract semantic differencing via speculative correlation. In: OOPSLA (2014)","DOI":"10.1145\/2660193.2660245"},{"key":"22_CR20","doi-asserted-by":"crossref","unstructured":"Qu, X., Cohen, M.B., Woolf, K.M.: Combinatorial interaction regression testing: a study of test case generation and prioritization. In: ICSM (2007)","DOI":"10.1109\/ICSM.2007.4362638"},{"issue":"3","key":"22_CR21","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MITP.2008.54","volume":"10","author":"Y Lei","year":"2008","unstructured":"Lei, Y., Kuhn, R., Kacker, R.: Practical combinatorial testing beyond pairwise. IT Prof. 10(3), 19\u201323 (2008)","journal-title":"IT Prof."},{"key":"22_CR22","doi-asserted-by":"crossref","unstructured":"Segall, I., Tzoref-Brill, R., Farchi, E.: Using binary decision diagrams for combinatorial test design. In: ISSTA (2011)","DOI":"10.1145\/2001420.2001451"},{"issue":"11","key":"22_CR23","doi-asserted-by":"publisher","first-page":"1313","DOI":"10.1016\/j.ic.2008.07.004","volume":"206","author":"S Shoham","year":"2008","unstructured":"Shoham, S., Grumberg, O.: 3-valued abstraction: more precision at less cost. Inf. Comput. 206(11), 1313\u20131333 (2008)","journal-title":"Inf. Comput."},{"key":"22_CR24","first-page":"109","volume":"1","author":"KC Tai","year":"2002","unstructured":"Tai, K.C., Lie, Y.: A test generation strategy for pairwise testing. IEEE Trans. Softw. Eng. 1, 109\u2013111 (2002)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"22_CR25","doi-asserted-by":"crossref","unstructured":"Tzoref-Brill, R., Maoz, S.: Lattice-based semantics for combinatorial model evolution. Technical report H-0323, IBM Research (2015)","DOI":"10.1007\/978-3-319-24953-7_22"},{"key":"22_CR26","doi-asserted-by":"crossref","unstructured":"Wojciak, P., Tzoref-Brill, R.: System level combinatorial testing in practice - the concurrent maintenance case study. In: ICST (2014)","DOI":"10.1109\/ICST.2014.23"}],"container-title":["Lecture Notes in Computer Science","Automated Technology for Verification and Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-24953-7_22","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T00:06:23Z","timestamp":1559261183000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-24953-7_22"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319249520","9783319249537"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-24953-7_22","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}