{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,7]],"date-time":"2025-05-07T04:09:06Z","timestamp":1746590946506,"version":"3.40.5"},"publisher-location":"Cham","reference-count":26,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319133379"},{"type":"electronic","value":"9783319133386"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-13338-6_17","type":"book-chapter","created":{"date-parts":[[2014,11,3]],"date-time":"2014-11-03T03:35:45Z","timestamp":1414985745000},"page":"220-235","source":"Crossref","is-referenced-by-count":12,"title":["Efficient Combinatorial Test Generation Based on Multivalued Decision Diagrams"],"prefix":"10.1007","author":[{"given":"Angelo","family":"Gargantini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paolo","family":"Vavassori","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"17_CR1","unstructured":"Advanced Combinatorial Testing System (ACTS), http:\/\/csrc.nist.gov\/groups\/SNS\/acts\/"},{"key":"17_CR2","doi-asserted-by":"crossref","unstructured":"Arcaini, P., Gargantini, A., Vavassori, P.: Validation of models and tests for constrained combinatorial interaction testing. In: The 3rd International Workshop on Combinatorial Testing (IWCT 2014) In conjunction with International Conference on Software Testing ICSTW, pp. 98\u2013107. IEEE (2014)","DOI":"10.1109\/ICSTW.2014.5"},{"key":"17_CR3","doi-asserted-by":"crossref","unstructured":"Babar, J., Miner, A.: Meddly: Multi-terminal and edge-valued decision diagram library. In: 7th International Conference on the Quantitative Evaluation of Systems. IEEE (2010)","DOI":"10.1109\/QEST.2010.34"},{"issue":"3","key":"17_CR4","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1002\/j.1538-7305.1992.tb00164.x","volume":"71","author":"R. Brownlie","year":"1992","unstructured":"Brownlie, R., Prowse, J., Phadke, M.: Robust testing of AT&T PMX\/starMAIL using OATS. AT&T Technical Journal\u00a071(3), 41\u201347 (1992)","journal-title":"AT&T Technical Journal"},{"issue":"10","key":"17_CR5","doi-asserted-by":"publisher","first-page":"960","DOI":"10.1016\/j.infsof.2006.03.004","volume":"48","author":"R.C. Bryce","year":"2006","unstructured":"Bryce, R.C., Colbourn, C.J.: Prioritized interaction testing for pair-wise coverage with seeding and constraints. Information & Software Technology\u00a048(10), 960\u2013970 (2006)","journal-title":"Information & Software Technology"},{"key":"17_CR6","first-page":"1082","volume-title":"Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, GECCO 2007","author":"R.C. Bryce","year":"2007","unstructured":"Bryce, R.C., Colbourn, C.J.: One-test-at-a-time heuristic search for interaction test suites. In: Proceedings of the 9th Annual Conference on Genetic and Evolutionary Computation, GECCO 2007, pp. 1082\u20131089. ACM, New York (2007)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Bryce, R.C., Colbourn, C.J., Cohen, M.B.: A framework of greedy methods for constructing interaction test suites. In: ICSE 2005: Proc. of the 27th Int. Conf. on Software Engineering, pp. 146\u2013155. ACM, New York (2005)","DOI":"10.1145\/1062455.1062495"},{"issue":"4","key":"17_CR8","doi-asserted-by":"publisher","first-page":"331","DOI":"10.1007\/s10817-010-9171-4","volume":"45","author":"A. Calvagna","year":"2010","unstructured":"Calvagna, A., Gargantini, A.: A formal logic approach to constrained combinatorial testing. Journal of Automated Reasoning\u00a045(4), 331\u2013358 (2010)","journal-title":"Journal of Automated Reasoning"},{"issue":"7","key":"17_CR9","doi-asserted-by":"publisher","first-page":"507","DOI":"10.1002\/stvr.466","volume":"22","author":"A. Calvagna","year":"2012","unstructured":"Calvagna, A., Gargantini, A.: T-wise combinatorial interaction test suites construction based on coverage inheritance. Software Testing, Verification and Reliability\u00a022(7), 507\u2013526 (2012)","journal-title":"Software Testing, Verification and Reliability"},{"key":"17_CR10","doi-asserted-by":"crossref","unstructured":"Calvagna, A., Gargantini, A., Vavassori, P.: Combinatorial interaction testing with CitLab. In: Sixth IEEE International Conference on Software Testing, Verification and Validation - Testing Tool Track (2013)","DOI":"10.1109\/ICST.2013.53"},{"issue":"7","key":"17_CR11","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"},{"issue":"5","key":"17_CR12","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1109\/TSE.2008.50","volume":"34","author":"M. Cohen","year":"2008","unstructured":"Cohen, M., Dwyer, M., Shi, J.: Constructing interaction test suites for highly-configurable systems in the presence of constraints: A greedy approach. IEEE Trans. on Software Engineering\u00a034(5), 633\u2013650 (2008)","journal-title":"IEEE Trans. on Software Engineering"},{"key":"17_CR13","unstructured":"Covering Arrays by Simulated Annealing, http:\/\/cse.unl.edu\/citportal\/tools\/casa\/"},{"key":"17_CR14","doi-asserted-by":"publisher","first-page":"13","DOI":"10.1109\/SSBSE.2009.25","volume-title":"Proceedings of the 2009 1st International Symposium on Search Based Software Engineering, SSBSE 2009","author":"B.J. Garvin","year":"2009","unstructured":"Garvin, B.J., Cohen, M.B., Dwyer, M.B.: An improved meta-heuristic search for constrained interaction testing. In: Proceedings of the 2009 1st International Symposium on Search Based Software Engineering, SSBSE 2009, pp. 13\u201322. IEEE Computer Society, Washington, DC (2009)"},{"issue":"1","key":"17_CR15","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s10664-010-9135-7","volume":"16","author":"B.J. Garvin","year":"2011","unstructured":"Garvin, B.J., Cohen, M.B., Dwyer, M.B.: Evaluating improvements to a meta-heuristic search for constrained interaction testing. Empirical Software Engineering\u00a016(1), 61\u2013102 (2011)","journal-title":"Empirical Software Engineering"},{"issue":"3","key":"17_CR16","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1002\/stvr.319","volume":"15","author":"M. Grindal","year":"2005","unstructured":"Grindal, M., Offutt, J., Andler, S.F.: Combination testing strategies: a survey. Softw. Test, Verif. Reliab.\u00a015(3), 167\u2013199 (2005)","journal-title":"Softw. Test, Verif. Reliab."},{"key":"17_CR17","unstructured":"Hadzic, T., Hansen, E.R.: On automata, MDDs and BDDs in constraint satisfaction. In: Proceedings of the ECAI 2008 Workshop on Inference Methods based on Graphical Structures of Knowledge (2008)"},{"key":"17_CR18","unstructured":"Kuhn, D.R., Reilly, M.J.: An investigation of the applicability of design of experiments to software testing. In: Society, I. (ed.) 27th NASA\/IEEE Software Engineering Workshop, pp. 91\u201395 (2002)"},{"issue":"6","key":"17_CR19","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. Software Eng.\u00a030(6), 418\u2013421 (2004)","journal-title":"IEEE Trans. Software Eng."},{"issue":"8","key":"17_CR20","doi-asserted-by":"publisher","first-page":"94","DOI":"10.1109\/MC.2009.253","volume":"42","author":"R. Kuhn","year":"2009","unstructured":"Kuhn, R., Kacker, R., Lei, Y., Hunter, J.: Combinatorial software testing. Computer\u00a042(8), 94\u201396 (2009)","journal-title":"Computer"},{"issue":"3","key":"17_CR21","doi-asserted-by":"publisher","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. Software Testing, Verification and Reliability\u00a018(3), 125\u2013148 (2008)","journal-title":"Software Testing, Verification and Reliability"},{"key":"17_CR22","doi-asserted-by":"crossref","unstructured":"Nagayama, S., Sasao, T.: Compact representations of logic functions using heterogeneous MDDs. In: Proceedings of 33rd International Symposium on Multiple-Valued Logic, pp. 247\u2013252 (2003)","DOI":"10.1109\/ISMVL.2003.1201413"},{"issue":"2","key":"17_CR23","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.\u00a043(2), 11 (2011)","journal-title":"ACM Comput. Surv."},{"key":"17_CR24","unstructured":"Pairwise web site, http:\/\/www.pairwise.org\/"},{"key":"17_CR25","doi-asserted-by":"crossref","unstructured":"Salecker, E., Reicherdt, R., Glesner, S.: Calculating prioritized interaction test sets with constraints using binary decision diagrams. In: Proceedings of IEEE Fourth International Conference on Software Testing, Verification and Validation Workshops, pp. 278\u2013285. IEEE Computer Society (2011)","DOI":"10.1109\/ICSTW.2011.79"},{"key":"17_CR26","doi-asserted-by":"crossref","first-page":"254","DOI":"10.1145\/2001420.2001451","volume-title":"Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA 2011","author":"I. Segall","year":"2011","unstructured":"Segall, I., Tzoref-Brill, R., Farchi, E.: Using binary decision diagrams for combinatorial test design. In: Proceedings of the 2011 International Symposium on Software Testing and Analysis, ISSTA 2011, pp. 254\u2013264. ACM, New York (2011)"}],"container-title":["Lecture Notes in Computer Science","Hardware and Software: Verification and Testing"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-13338-6_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,6]],"date-time":"2025-05-06T04:21:45Z","timestamp":1746505305000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-13338-6_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319133379","9783319133386"],"references-count":26,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-13338-6_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}