{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,28]],"date-time":"2026-04-28T00:34:28Z","timestamp":1777336468008,"version":"3.51.4"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642316111","type":"print"},{"value":"9783642316128","type":"electronic"}],"license":[{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2012,1,1]],"date-time":"2012-01-01T00:00:00Z","timestamp":1325376000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31612-8_15","type":"book-chapter","created":{"date-parts":[[2012,6,18]],"date-time":"2012-06-18T05:14:42Z","timestamp":1339996482000},"page":"186-199","source":"Crossref","is-referenced-by-count":16,"title":["Faulty Interaction Identification via Constraint Solving and Optimization"],"prefix":"10.1007","author":[{"given":"Jian","family":"Zhang","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Feifei","family":"Ma","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zhiqiang","family":"Zhang","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"7","key":"15_CR1","doi-asserted-by":"publisher","first-page":"437","DOI":"10.1109\/32.605761","volume":"23","author":"D.M. 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. on Softw. Eng.\u00a023(7), 437\u2013444 (1997)","journal-title":"IEEE Trans. on Softw. Eng."},{"issue":"1","key":"15_CR2","doi-asserted-by":"publisher","first-page":"17","DOI":"10.1007\/s10878-007-9082-4","volume":"15","author":"C. Colbourn","year":"2011","unstructured":"Colbourn, C., McClary, D.: Locating and detecting arrays for interaction faults. J. of Combinatorial Optimization\u00a015(1), 17\u201348 (2011)","journal-title":"J. of Combinatorial Optimization"},{"key":"15_CR3","unstructured":"Czerwonka, J.: Pairwise testing in realworld: Practical extensions to test case generator. In: Proc. PNSQC 2006, pp. 419\u2013430 (2006)"},{"key":"15_CR4","unstructured":"Gebser, M., Kaufmann, B., Neumann, A., Schaub, T.: Conflict-driven answer set solving. In: Proc. IJCAI 2007, pp. 386\u2013392 (2007), \nhttp:\/\/www.cs.uni-potsdam.de\/clasp\/"},{"key":"15_CR5","doi-asserted-by":"crossref","unstructured":"Ghandehari, L.S.G., Lei, Y., Xie, T., Kuhn, D.R., Kacker, R.: Identifying failure-inducing combinations in a combinatorial test set. In: Proc. ICST 2012, pp. 370\u2013379 (2012)","DOI":"10.1109\/ICST.2012.117"},{"key":"15_CR6","doi-asserted-by":"crossref","unstructured":"Kuhn, D.R., Okun, V.: Pseudo-exhaustive testing for software. In: Proc. SEW 2006, pp. 153\u2013158 (2006)","DOI":"10.1109\/SEW.2006.26"},{"issue":"6","key":"15_CR7","doi-asserted-by":"publisher","first-page":"418","DOI":"10.1109\/TSE.2004.24","volume":"30","author":"D.R. Kuhn","year":"2004","unstructured":"Kuhn, D.R., Wallace, D.R., Gallo, A.M.: Software fault interactions and implications for software testing. IEEE Trans. on Softw. Eng.\u00a030(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"15_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"504","DOI":"10.1007\/978-3-540-78773-0_44","volume-title":"LATIN 2008: Theoretical Informatics","author":"C. Mart\u00ednez","year":"2008","unstructured":"Mart\u00ednez, C., Moura, L., Panario, D., Stevens, B.: Algorithms to Locate Errors Using Covering Arrays. In: Laber, E.S., Bornstein, C., Nogueira, L.T., Faria, L. (eds.) LATIN 2008. LNCS, vol.\u00a04957, pp. 504\u2013519. Springer, Heidelberg (2008)"},{"key":"15_CR9","doi-asserted-by":"crossref","unstructured":"Nie, C., Leung, H.: A survey of combinatorial testing. ACM Computing Surveys\u00a043(2) (2011)","DOI":"10.1145\/1883612.1883618"},{"key":"15_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1088","DOI":"10.1007\/11428862_179","volume-title":"Computational Science \u2013 ICCS 2005","author":"L. Shi","year":"2005","unstructured":"Shi, L., Nie, C., Xu, B.: A Software Debugging Method Based on Pairwise Testing. In: Sunderam, V.S., van Albada, G.D., Sloot, P.M.A., Dongarra, J. (eds.) ICCS 2005, Part III. LNCS, vol.\u00a03516, pp. 1088\u20131091. Springer, Heidelberg (2005)"},{"key":"15_CR11","doi-asserted-by":"crossref","unstructured":"Wang, Z., Xu, B., Chen, L., Xu, L.: Adaptive interaction fault location based on combinatorial testing. In: Proc. QSIC 2010, pp. 495\u2013502 (2010)","DOI":"10.1109\/QSIC.2010.36"},{"issue":"1","key":"15_CR12","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/TSE.2006.8","volume":"32","author":"C. Yilmaz","year":"2006","unstructured":"Yilmaz, C., Cohen, M.B., Porter, A.A.: Covering arrays for efficient fault characterization in complex configuration spaces. IEEE Trans. on Softw. Eng.\u00a032(1), 20\u201334 (2006)","journal-title":"IEEE Trans. on Softw. Eng."},{"key":"15_CR13","doi-asserted-by":"crossref","unstructured":"Zeller, A., Hildebrandt, R.: Simplifying and isolating failure-inducing input. IEEE Trans. on Soft. Eng., 183\u2013200 (2002)","DOI":"10.1109\/32.988498"},{"key":"15_CR14","doi-asserted-by":"crossref","unstructured":"Zhang, Z., Zhang, J.: Characterizing failure-causing parameter interactions by adaptive testing. In: Proc. ISSTA 2011, pp. 331\u2013341 (2011)","DOI":"10.1145\/2001420.2001460"}],"container-title":["Lecture Notes in Computer Science","Theory and Applications of Satisfiability Testing \u2014 SAT 2012"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31612-8_15","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T04:09:23Z","timestamp":1777090163000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-31612-8_15"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642316111","9783642316128"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31612-8_15","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012]]}}}