{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,25]],"date-time":"2026-04-25T15:12:21Z","timestamp":1777129941687,"version":"3.51.4"},"publisher-location":"Cham","reference-count":37,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783030912642","type":"print"},{"value":"9783030912659","type":"electronic"}],"license":[{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2021,1,1]],"date-time":"2021-01-01T00:00:00Z","timestamp":1609459200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2021]]},"DOI":"10.1007\/978-3-030-91265-9_10","type":"book-chapter","created":{"date-parts":[[2021,11,19]],"date-time":"2021-11-19T11:26:47Z","timestamp":1637321207000},"page":"178-197","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["MC\/DC Test Cases Generation Based on\u00a0BDDs"],"prefix":"10.1007","author":[{"given":"Faustin","family":"Ahishakiye","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jos\u00e9 Ignacio","family":"Requeno Jarabo","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Lars Michael","family":"Kristensen","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Volker","family":"Stolz","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2021,11,18]]},"reference":[{"key":"10_CR1","unstructured":"Adacore. Technical report on OBC\/MCDC properties. Technical report, Couverture project (2010)"},{"key":"10_CR2","doi-asserted-by":"crossref","unstructured":"Ahishakiye, F., Jak\u0161i\u0107, S., Stolz, V., Lange, F.D., Schmitz, M., Thoma, D.: Non-intrusive MC\/DC measurement based on traces. In: International Symposium on Theoretical Aspects of Software Engineering (TASE), pp. 86\u201392. IEEE (2019)","DOI":"10.1109\/TASE.2019.00-15"},{"key":"10_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/978-3-030-65955-4_6","volume-title":"Verification and Evaluation of Computer and Communication Systems","author":"F Ahishakiye","year":"2020","unstructured":"Ahishakiye, F., Requeno Jarabo, J.I., Kristensen, L.M., Stolz, V.: Coverage analysis of net inscriptions in coloured Petri net models. In: Ben Hedia, B., Chen, Y.-F., Liu, G., Yu, Z. (eds.) VECoS 2020. LNCS, vol. 12519, pp. 68\u201383. Springer, Cham (2020). https:\/\/doi.org\/10.1007\/978-3-030-65955-4_6"},{"key":"10_CR4","doi-asserted-by":"crossref","unstructured":"Awedikian, Z., Ayari, K., Antoniol, G.: MC\/DC automatic test input data generation. In: Annual Conference on Genetic and Evolutionary Computation Conference (GECCO), pp. 1657\u20131664. ACM (2009)","DOI":"10.1145\/1569901.1570123"},{"key":"10_CR5","unstructured":"Bordin, M., Comar, C., Gingold, T., Guitton, J., Hainque, O., Quinot, T.: Object and source coverage for critical applications with the COUVERTURE open analysis framework. In: European Congress Embedded Real Time Software and Systems (ERTS), pp. 1\u20139 (2010)"},{"key":"10_CR6","unstructured":"Certification Authorities Software Team (CAST). Rationale for accepting masking MC\/DC in certification projects. Technical Report: Position Paper CAST-6 (2001)"},{"key":"10_CR7","unstructured":"Certification Authorities Software Team (CAST). What is a \u201cDecision\u201d in application of Modified Condition\/Decision Coverage (MC\/DC) and Decision Coverage (DC)? Technical Report: Position Paper CAST-10 (2002)"},{"key":"10_CR8","doi-asserted-by":"crossref","unstructured":"Chang, J.-R., Huang, C.-Y.: A study of enhanced MC\/DC coverage criterion for software testing. In: Annual International Computer Software and Applications Conference (COMPSAC), pp. 457\u2013464 (2007)","DOI":"10.1109\/COMPSAC.2007.44"},{"key":"10_CR9","unstructured":"Chilenski, J.J.: An investigation of three forms of the modified condition decision coverage (MC\/DC) criterion. Technical report, Office of Aviation Research (2001)"},{"issue":"5","key":"10_CR10","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1049\/sej.1994.0025","volume":"9","author":"JJ Chilenski","year":"1994","unstructured":"Chilenski, J.J., Miller, S.P.: Applicability of modified condition\/decision coverage to software testing. Softw. Eng. J. 9(5), 193\u2013200 (1994)","journal-title":"Softw. Eng. J."},{"key":"10_CR11","volume-title":"Model Checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke, E.M., Jr., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"key":"10_CR12","unstructured":"Comar, C., Guitton, J., Hainque, O., Quinot, T.: Formalization and comparison of MC\/DC and object branch coverage criteria. In: European Congress Embedded Real Time Software and Systems (ERTS), pp. 1\u201310 (2011)"},{"key":"10_CR13","doi-asserted-by":"crossref","unstructured":"Drake, C.R.: PyEDA: data structures and algorithms for electronic design automation. In: Python in Science Conference (SciPy) (2015)","DOI":"10.25080\/Majora-7b98e3ed-004"},{"issue":"3","key":"10_CR14","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/2934672","volume":"25","author":"G Gay","year":"2016","unstructured":"Gay, G., Rajan, A., Staats, M., Whalen, M., Heimdahl, M.P.E.: The effect of program and model structure on the effectiveness of MC\/DC test adequacy coverage. ACM Trans. Softw. Eng. Methodol. 25(3), 1\u201334 (2016)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"8","key":"10_CR15","doi-asserted-by":"publisher","first-page":"803","DOI":"10.1109\/TSE.2015.2421011","volume":"41","author":"G Gay","year":"2015","unstructured":"Gay, G., Staats, M., Whalen, M., Heimdahl, M.P.E.: The risks of coverage-directed test case generation. IEEE Trans. Softw. Eng. 41(8), 803\u2013819 (2015)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR16","doi-asserted-by":"crossref","unstructured":"Ghani, K., Clark, J.A.: Automatic test data generation for multiple condition and MC\/DC coverage. In: International Conference on Software Engineering Advances (ICSEA), pp. 152\u2013157 (2009)","DOI":"10.1109\/ICSEA.2009.31"},{"key":"10_CR17","doi-asserted-by":"publisher","first-page":"174516","DOI":"10.1109\/ACCESS.2020.3025825","volume":"8","author":"H Gong","year":"2020","unstructured":"Gong, H., Li, J., Li, R.: CTFTP: a test case generation strategy for general Boolean expressions based on ordered binary label-driven Petri nets. IEEE Access 8, 174516\u2013174529 (2020)","journal-title":"IEEE Access"},{"issue":"2","key":"10_CR18","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1007\/s10664-018-9635-4","volume":"24","author":"A Halin","year":"2019","unstructured":"Halin, A., Nuttinck, A., Acher, M., Devroey, X., Perrouin, G., Baudry, B.: Test them all, is it worth it? Assessing configuration sampling on the JHipster Web development stack. Empir. Softw. Eng. 24(2), 674\u2013717 (2019)","journal-title":"Empir. Softw. Eng."},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1007\/978-3-319-25945-1_4","volume-title":"Testing Software and Systems","author":"S Hall\u00e9","year":"2015","unstructured":"Hall\u00e9, S., La Chance, E., Gaboury, S.: Graph methods for generating test cases with universal and existential constraints. In: El-Fakih, K., Barlas, G., Yevtushenko, N. (eds.) ICTSS 2015. LNCS, vol. 9447, pp. 55\u201370. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-25945-1_4"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Hu, A.J.: Formal hardware verification with BDDs: an introduction. In: IEEE Pacific Rim Conference on Communications, Computers and Signal Processing (PACRIM), vol. 2, pp. 677\u2013682. IEEE (1997)","DOI":"10.1109\/PACRIM.1997.620351"},{"issue":"3","key":"10_CR21","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1109\/TSE.2003.1183927","volume":"29","author":"JA Jones","year":"2003","unstructured":"Jones, J.A., Harrold, M.J.: Test-suite reduction and prioritization for modified condition\/decision coverage. IEEE Trans. Softw. Eng. 29(3), 195\u2013209 (2003)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"7","key":"10_CR22","doi-asserted-by":"publisher","first-page":"2263","DOI":"10.1002\/qre.1934","volume":"32","author":"A Kalaee","year":"2016","unstructured":"Kalaee, A., Rafe, V.: An optimal solution for test case generation using ROBDD graph and PSO algorithm. Qual. Reliab. Eng. Int. 32(7), 2263\u20132279 (2016)","journal-title":"Qual. Reliab. Eng. Int."},{"issue":"3","key":"10_CR23","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s00607-014-0418-5","volume":"97","author":"S Kandl","year":"2014","unstructured":"Kandl, S., Chandrashekar, S.: Reasonability of MC\/DC for safety-relevant software implemented in programming languages with short-circuit evaluation. Computing 97(3), 261\u2013279 (2014). https:\/\/doi.org\/10.1007\/s00607-014-0418-5","journal-title":"Computing"},{"key":"10_CR24","doi-asserted-by":"crossref","unstructured":"Kangoye, S., Todoskoff, A., Barreau, M.: Practical methods for automatic MC\/DC test case generation of Boolean expressions. In: IEEE AUTOTESTCON, pp. 203\u2013212. IEEE (2015)","DOI":"10.1109\/AUTEST.2015.7356490"},{"key":"10_CR25","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"123","DOI":"10.1007\/978-3-319-99130-6_9","volume-title":"Computer Safety, Reliability, and Security","author":"T Kitamura","year":"2018","unstructured":"Kitamura, T., Maissonneuve, Q., Choi, E.-H., Artho, C., Gargantini, A.: Optimal test suite generation for modified condition decision coverage using SAT solving. In: Gallina, B., Skavhaug, A., Bitsch, F. (eds.) SAFECOMP 2018. LNCS, vol. 11093, pp. 123\u2013138. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-99130-6_9"},{"key":"10_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58940-9","volume-title":"Algorithms and Data Structures in VLSI Design","author":"C Meinel","year":"1998","unstructured":"Meinel, C., Theobald, T.: Algorithms and Data Structures in VLSI Design, 1st edn. Springer, Heidelberg (1998). https:\/\/doi.org\/10.1007\/978-3-642-58940-9","edition":"1"},{"issue":"1","key":"10_CR27","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/3274279","volume":"20","author":"J Newton","year":"2019","unstructured":"Newton, J., Verna, D.: A theoretical and numerical analysis of the worst-case size of reduced ordered binary decision diagrams. ACM Trans. Comput. Log. 20(1), 1\u201336 (2019)","journal-title":"ACM Trans. Comput. Log."},{"key":"10_CR28","unstructured":"Pothon, F.: DO-178C\/ED-12C versus DO-178B\/ED-12B: changes and improvements. Technical report, AdaCore (2012). https:\/\/www.adacore.com\/books\/do-178c-vs-do-178b"},{"key":"10_CR29","doi-asserted-by":"crossref","unstructured":"Reda, S., Salem, A.M.: Combinational equivalence checking using Boolean satisfiability and binary decision diagrams. In: Design, Automation and Test in Europe. Conference and Exhibition (DATE), pp. 122\u2013126. IEEE (2001)","DOI":"10.1109\/DATE.2001.915011"},{"key":"10_CR30","unstructured":"Rierson, L.: Developing Safety-Critical Software: A Practical Guide for Aviation Software and DO-178C Compliance. CRC Press (2013)"},{"key":"10_CR31","unstructured":"Tassey, G.: The economic impacts of inadequate infrastructure for software testing (2002)"},{"key":"10_CR32","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"291","DOI":"10.1007\/3-540-45648-1_15","volume-title":"ZB 2002:Formal Specification and Development in Z and B","author":"SA Vilkomir","year":"2002","unstructured":"Vilkomir, S.A., Bowen, J.P.: Reinforced condition\/decision coverage (RC\/DC): a new criterion for software testing. In: Bert, D., Bowen, J.P., Henson, M.C., Robinson, K. (eds.) ZB 2002. LNCS, vol. 2272, pp. 291\u2013308. Springer, Heidelberg (2002). https:\/\/doi.org\/10.1007\/3-540-45648-1_15"},{"issue":"5","key":"10_CR33","doi-asserted-by":"publisher","first-page":"353","DOI":"10.1109\/32.286420","volume":"20","author":"E Weyuker","year":"1994","unstructured":"Weyuker, E., Goradia, T., Singh, A.: Automatically generating test data from a Boolean specification. IEEE Trans. Softw. Eng. 20(5), 353\u2013363 (1994)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"10_CR34","doi-asserted-by":"crossref","unstructured":"Weyuker, E.J., Weiss, S.N., Hamlet, D.: Comparison of program testing strategies. In: Symposium on Testing, Analysis, and Verification (TAV), pp. 1\u201310. ACM (1991)","DOI":"10.1145\/120807.120808"},{"key":"10_CR35","unstructured":"Worrell, J.: Logic and proofs-binary decision diagrams. https:\/\/www.cs.ox.ac.uk\/people\/james.worrell\/lec5-2015.pdf"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Wu, T., Yan, J., Zhang, J.: Automatic test data generation for unit testing to achieve MC\/DC criterion. In: International Conference on Software Security and Reliability (SERE), pp. 118\u2013126. IEEE Computer Society (2014)","DOI":"10.1109\/SERE.2014.25"},{"key":"10_CR37","doi-asserted-by":"crossref","unstructured":"Yang, L., Yan, J., Zhang, J.: Generating minimal test set satisfying MC\/DC criterion via SAT based approach. In: Annual ACM Symposium on Applied Computing (SAC), pp. 1899\u20131906. ACM (2018)","DOI":"10.1145\/3167132.3167335"}],"container-title":["Lecture Notes in Computer Science","Dependable Software Engineering. Theories, Tools, and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-91265-9_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,9,12]],"date-time":"2024-09-12T17:22:02Z","timestamp":1726161722000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-91265-9_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2021]]},"ISBN":["9783030912642","9783030912659"],"references-count":37,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-91265-9_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2021]]},"assertion":[{"value":"18 November 2021","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SETTA","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Symposium on Dependable Software Engineering: Theories, Tools, and Applications","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Beijing","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2021","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2021","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2021","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"setta2021","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/lcs.ios.ac.cn\/setta2021\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"39","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"16","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3.05","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2.53","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}