{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,5]],"date-time":"2024-09-05T12:47:12Z","timestamp":1725540432026},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642050305"},{"type":"electronic","value":"9783642050312"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-05031-2_7","type":"book-chapter","created":{"date-parts":[[2009,11,2]],"date-time":"2009-11-02T07:32:25Z","timestamp":1257147145000},"page":"97-112","source":"Crossref","is-referenced-by-count":14,"title":["Interaction Coverage Meets Path Coverage by SMT Constraint Solving"],"prefix":"10.1007","author":[{"given":"Wolfgang","family":"Grieskamp","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiao","family":"Qu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Xiangjun","family":"Wei","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nicolas","family":"Kicillof","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Myra B.","family":"Cohen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"7_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/978-3-540-79124-9_6","volume-title":"Tests and Proofs","author":"A. Calvagna","year":"2008","unstructured":"Calvagna, A., Gargantini, A.: A logic-based approach to combinatorial testing with constraints. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 66\u201383. Springer, Heidelberg (2008)"},{"key":"7_CR2","unstructured":"Calvagna, A., Gargantini, A.: Using SRI SAL model checker for combinatorial tests generation in the presence of temporal constraints. In: Workshop on Automated Formal Methods (AFM), pp. 1\u201310 (2008)"},{"issue":"7","key":"7_CR3","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 Transactions on Software Engineering\u00a023(7), 437\u2013444 (1997)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Colbourn, C.J., Collofello, J.S., Gibbons, P.B., Mugridge, W.B.: Variable strength interaction testing of components. In: Proceedings of the International Computer Software and Applications Conference, pp. 413\u2013418 (2003)","DOI":"10.1109\/CMPSAC.2003.1245373"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Colbourn, C.J., Gibbons, P.B., Mugridge, W.B.: Constructing test suites for interaction testing. In: Proceedings of the International Conference on Software Engineering (ICSE), May 2003, pp. 38\u201348 (2003)","DOI":"10.1109\/ICSE.2003.1201186"},{"key":"7_CR6","doi-asserted-by":"crossref","unstructured":"Cohen, M.B., Dwyer, M.B., Shi, J.: Interaction testing of highly-configurable systems in the presence of constraints. In: International Symposium on Software Testing and Analysis, July 2007, pp. 129\u2013139 (2007)","DOI":"10.1145\/1273463.1273482"},{"issue":"5","key":"7_CR7","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1109\/TSE.2008.50","volume":"34","author":"M.B. 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 Transactions on Software Engineering\u00a034(5), 633\u2013650 (2008)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR8","unstructured":"Czerwonka, J.: Pairwise testing in real world. In: Pacific Northwest Software Quality Conference, October 2006, pp. 419\u2013430 (2006)"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1007\/978-3-540-78800-3_24","volume-title":"Tools and Algorithms for the Construction and Analysis of Systems","author":"L. Moura de","year":"2008","unstructured":"de Moura, L., Bj\u00f8rner, N.S.: Z3: An Efficient SMT Solver. In: Ramakrishnan, C.R., Rehof, J. (eds.) TACAS 2008. LNCS, vol.\u00a04963, pp. 337\u2013340. Springer, Heidelberg (2008)"},{"key":"7_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/11940197_1","volume-title":"Formal Approaches to Software Testing and Runtime Verification","author":"W. Grieskamp","year":"2006","unstructured":"Grieskamp, W.: Multi-paradigmatic Model-Based Testing. In: Havelund, K., N\u00fa\u00f1ez, M., Ro\u015fu, G., Wolff, B. (eds.) FATES 2006 and RV 2006. LNCS, vol.\u00a04262, pp. 1\u201319. Springer, Heidelberg (2006)"},{"key":"7_CR11","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1145\/1138953.1138966","volume-title":"SCESM","author":"W. Grieskamp","year":"2006","unstructured":"Grieskamp, W., Kicillof, N.: A schema language for coordinating construction and composition of partial behavior descriptions. In: Whittle, J., Geiger, L., Meisinger, M. (eds.) SCESM, pp. 59\u201366. ACM, New York (2006)"},{"key":"7_CR12","first-page":"502","volume-title":"ICST","author":"W. Grieskamp","year":"2008","unstructured":"Grieskamp, W., Kicillof, N., MacDonald, D., Nandan, A., Stobie, K., Wurden, F.L.: Model-Based Quality Assurance of Windows Protocol Documentation. In: ICST, pp. 502\u2013506. IEEE Computer Society, Los Alamitos (2008)"},{"issue":"5","key":"7_CR13","doi-asserted-by":"publisher","first-page":"705","DOI":"10.1142\/S0218194006002963","volume":"16","author":"W. Grieskamp","year":"2006","unstructured":"Grieskamp, W., Kicillof, N., Tillmann, N.: Action Machines: a Framework for Encoding and Composing Partial Behaviors. International Journal of Software Engineering and Knowledge Engineering\u00a016(5), 705\u2013726 (2006)","journal-title":"International Journal of Software Engineering and Knowledge Engineering"},{"issue":"3","key":"7_CR14","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1016\/j.entcs.2006.01.002","volume":"144","author":"W. Grieskamp","year":"2006","unstructured":"Grieskamp, W., Tillmann, N., Schulte, W.: XRT \u2013 Exploring Runtime for.NET: Architecture and Applications. Electr. Notes Theor. Comput. Sci.\u00a0144(3), 3\u201326 (2006)","journal-title":"Electr. Notes Theor. Comput. Sci."},{"key":"7_CR15","doi-asserted-by":"publisher","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.\u00a0284, 149\u2013156 (2004)","journal-title":"Discrete Math."},{"key":"7_CR16","doi-asserted-by":"publisher","first-page":"199","DOI":"10.1007\/s10601-006-7094-9","volume":"11","author":"B. Hnich","year":"2006","unstructured":"Hnich, B., Prestwich, S., Selensky, E., Smith, B.M.: Constraint models for the covering test problem. Constraints\u00a011, 199\u2013219 (2006)","journal-title":"Constraints"},{"key":"7_CR17","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: IEEE International Conference on the Engineering of Computer-Based Systems, pp. 549\u2013556 (2007)","DOI":"10.1109\/ECBS.2007.47"},{"key":"7_CR18","doi-asserted-by":"crossref","unstructured":"Qu, X., Cohen, M.B., Rothermel, G.: Configuration-aware regression testing: An empirical study of sampling and prioritization. In: International Symposium on Software Testing and Analysis, July 2008, pp. 75\u201385 (2008)","DOI":"10.1145\/1390630.1390641"},{"key":"7_CR19","first-page":"263","volume-title":"ESEC\/SIGSOFT FSE","author":"K. Sen","year":"2005","unstructured":"Sen, K., Marinov, D., Agha, G.: CUTE: a concolic unit testing engine for C. In: Wermelinger, M., Gal, H. (eds.) ESEC\/SIGSOFT FSE, pp. 263\u2013272. ACM, New York (2005)"},{"key":"7_CR20","unstructured":"Sherwood, G.: Testcover.com (2006), \n                    \n                      http:\/\/testcover.com\/pub\/constex.php"},{"key":"7_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"134","DOI":"10.1007\/978-3-540-79124-9_10","volume-title":"Tests and Proofs","author":"N. Tillmann","year":"2008","unstructured":"Tillmann, N., de Halleux, J.: Pex\u2013White Box Test Generation for .NET. In: Beckert, B., H\u00e4hnle, R. (eds.) TAP 2008. LNCS, vol.\u00a04966, pp. 134\u2013153. Springer, Heidelberg (2008)"},{"issue":"1","key":"7_CR22","doi-asserted-by":"publisher","first-page":"20","DOI":"10.1109\/TSE.2006.8","volume":"31","author":"C. Yilmaz","year":"2006","unstructured":"Yilmaz, C., Cohen, M.B., Porter, A.: Covering arrays for efficient fault characterization in complex configuration spaces. IEEE Transactions on Software Engineering\u00a031(1), 20\u201334 (2006)","journal-title":"IEEE Transactions on Software Engineering"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"Yuan, X., Cohen, M., Memon, A.M.: Covering array sampling of input event sequences for automated GUI testing. In: ASE 2007: Proceedings of the 22nd IEEE international conference on Automated software engineering, pp. 405\u2013408 (2007)","DOI":"10.1145\/1321631.1321695"}],"container-title":["Lecture Notes in Computer Science","Testing of Software and Communication Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-05031-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,3,10]],"date-time":"2019-03-10T05:57:29Z","timestamp":1552197449000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-05031-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642050305","9783642050312"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-05031-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}