{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,17]],"date-time":"2026-08-17T15:49:30Z","timestamp":1786981770485,"version":"build-2736575974"},"reference-count":46,"publisher":"Springer Science and Business Media LLC","issue":"3","license":[{"start":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T00:00:00Z","timestamp":1715644800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T00:00:00Z","timestamp":1715644800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2024,9]]},"DOI":"10.1007\/s11219-024-09667-3","type":"journal-article","created":{"date-parts":[[2024,5,14]],"date-time":"2024-05-14T03:02:17Z","timestamp":1715655737000},"page":"849-880","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Automated SC-MCC test case generation using coverage-guided fuzzing"],"prefix":"10.1007","volume":"32","author":[{"given":"Monika Rani","family":"Golla","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Sangharatna","family":"Godboley","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2024,5,14]]},"reference":[{"key":"9667_CR1","doi-asserted-by":"crossref","unstructured":"Alshmrany, K. M., Aldughaim, M., Bhayat, A., & Cordeiro, L. C. (2022). Fusebmc v4: Smart seed generation for hybrid fuzzing. In E. B. Johnsen & M. Wimmer (Eds.), Fundamental Approaches to Software Engineering (pp. 336\u2013340). Cham: Springer.","DOI":"10.1007\/978-3-030-99429-7_19"},{"issue":"12","key":"9667_CR2","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1145\/3526099","volume":"65","author":"D Amalfitano","year":"2022","unstructured":"Amalfitano, D., Paiva, A. C. R., Inquel, A., Pinto, L., Fasolino, A. R., & Just, R. (2022). How do Java mutation tools differ? Communication of the ACM, 65(12), 74\u201389. https:\/\/doi.org\/10.1145\/3526099","journal-title":"Communication of the ACM"},{"issue":"1","key":"9667_CR3","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1186\/s40411-016-0031-8","volume":"4","author":"CA Ara\u00fajo","year":"2016","unstructured":"Ara\u00fajo, C. A., Delamaro, M. E., Maldonado, J. C., & Vincenzi, A. M. R. (2016). Correlating automatic static analysis and mutation testing: Towards incremental strategies. Journal of Software Engineering Research and Development, 4(1), 5. https:\/\/doi.org\/10.1186\/s40411-016-0031-8","journal-title":"Journal of Software Engineering Research and Development"},{"key":"9667_CR4","doi-asserted-by":"publisher","unstructured":"Barisal, S. K., Chauhan, S. P. S., Dutta, A., Godboley, S., Sahoo, B., & Mohapatra, D. P. (2022). BOOMPizer: Minimization and prioritization of concolic based boosted MC\/DC test cases. Journal of King Saud University - Computer and Information Sciences, 34(10, Part B), 9757\u20139776. https:\/\/doi.org\/10.1016\/j.jksuci.2021.12.007","DOI":"10.1016\/j.jksuci.2021.12.007"},{"key":"9667_CR5","unstructured":"Belle Lakshminarayan, S. (2023). Fuzzing : A comparison of fuzzing tools. http:\/\/essay.utwente.nl\/94591\/"},{"key":"9667_CR6","unstructured":"Cadar, C., Dunbar, D., & Engler, D. (2008). KLEE: Unassisted and automatic generation of high-coverage tests for complex systems programs. In: Proceedings of the 8th USENIX Conference on Operating Systems Design and Implementation OSDI\u201908, pp. 209\u2013224. USENIX Association, USA."},{"key":"9667_CR7","unstructured":"Code-SC-MCC-AFL \u2013 the results folder. (2023). [online] Available: https:\/\/zenodo.org\/records\/10135468"},{"key":"9667_CR8","unstructured":"Code-SC-MCC-AFL-3Runs \u2013 the three runs results folder. (2024). [online] Available: https:\/\/zenodo.org\/records\/10699522"},{"key":"9667_CR9","doi-asserted-by":"publisher","unstructured":"Dutta, A., Srivastava, S. S., Godboley, S., & Mohapatra, D. P. (2021). Combi-FL: Neural network and SBFL based fault localization using mutation analysis. Journal of Computer Languages, 66,\u00a0101064. https:\/\/doi.org\/10.1016\/j.cola.2021.101064. ISSN 2590\u20131184.","DOI":"10.1016\/j.cola.2021.101064"},{"key":"9667_CR10","doi-asserted-by":"publisher","first-page":"86759","DOI":"10.1109\/ACCESS.2021.3089196","volume":"9","author":"S Fan","year":"2021","unstructured":"Fan, S., Yao, N., Wan, L., Ma, B., & Zhang, Y. (2021). An evolutionary generation method of test data for multiple paths based on coverage balance. IEEE Access, 9, 86759\u201386772. https:\/\/doi.org\/10.1109\/ACCESS.2021.3089196","journal-title":"IEEE Access"},{"key":"9667_CR11","doi-asserted-by":"publisher","unstructured":"Gay, G., Rajan, A., Staats, M., Whalen, M., & Heimdahl, M. P. (2016). The effect of program and model structure on the effectiveness of MC\/DC test adequacy coverage.\u00a0ACM Transactions on Software Engineering and Methodology,\u00a025(3), Article 25 p 34. https:\/\/doi.org\/10.1145\/2934672","DOI":"10.1145\/2934672"},{"issue":"8","key":"9667_CR12","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. (2015). The risks of coverage-directed test case generation. IEEE Transactions on Software Engineering, 41(8), 803\u2013819. https:\/\/doi.org\/10.1109\/TSE.2015.2421011","journal-title":"IEEE Transactions on Software Engineering"},{"key":"9667_CR13","doi-asserted-by":"publisher","unstructured":"Ghani, K., & Clark, J. A. (2009). Automatic test data generation for multiple condition and MCDC coverage. In: 2009 Fourth International Conference on Software Engineering Advances, pp. 152\u2013157. https:\/\/doi.org\/10.1109\/ICSEA.2009.31","DOI":"10.1109\/ICSEA.2009.31"},{"key":"9667_CR14","doi-asserted-by":"publisher","unstructured":"Godboley, S., Dutta, A., Pisipati, R. K., & Mohapatra, D. P. (2022a). SSG-AFL: Vulnerability detection for reactive systems using static seed generator based AFL. In: 2022 IEEE 46th Annual Computers, Software, and Applications Conference (COMPSAC), pp. 1728\u20131733. https:\/\/doi.org\/10.1109\/COMPSAC54236.2022.00275","DOI":"10.1109\/COMPSAC54236.2022.00275"},{"key":"9667_CR15","doi-asserted-by":"publisher","unstructured":"Godboley, S., Gupta, K., & Monika, R. G. (2022b) AV-AFL: A vulnerability detection fuzzing approach by proving non-reachable vulnerabilities using sound static analyser. In: Kaindl, H., Mannion, M., Maciaszek, L.A. (eds.) Proceedings of the 17th International Conference on Evaluation of Novel Approaches to Software Engineering, ENASE 2022, Online Streaming, April 25-26, 2022, pp. 301\u2013308. SCITEPRESS, ???. https:\/\/doi.org\/10.5220\/0011032900003176","DOI":"10.5220\/0011032900003176"},{"key":"9667_CR16","doi-asserted-by":"publisher","unstructured":"Golla, M. R. (2022). Automated SC-MCC test case generation. In: 15th Innovations in Software Engineering Conference. ISEC 2022. Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/3511430.3511460","DOI":"10.1145\/3511430.3511460"},{"key":"9667_CR17","doi-asserted-by":"publisher","unstructured":"Golla, M. R., & Godboley, S. (2023). gMutant: A gCov based mutation testing analyser. In: Proceedings of the 16th Innovations in Software Engineering Conference. ISEC \u201923. Association for Computing Machinery, New York, NY, USA (2023). https:\/\/doi.org\/10.1145\/3578527.3578546","DOI":"10.1145\/3578527.3578546"},{"key":"9667_CR18","doi-asserted-by":"publisher","unstructured":"Golla, M. R., & Godboley, S. (2024). Automated SC-MCC test case generation using bounded model checking for safety-critical applications. Expert Systems with Applications, 238, Part F 122033. https:\/\/doi.org\/10.1016\/j.eswa.2023.122033. ISSN 0957\u20134174.","DOI":"10.1016\/j.eswa.2023.122033"},{"key":"9667_CR19","doi-asserted-by":"publisher","unstructured":"Hamimoune, S., & Falah, B. (2016). Mutation testing techniques: A comparative study. In: 2016 International Conference on Engineering MIS (ICEMIS), pp. 1\u20139. https:\/\/doi.org\/10.1109\/ICEMIS.2016.7745368","DOI":"10.1109\/ICEMIS.2016.7745368"},{"key":"9667_CR20","unstructured":"Hayhurst, K. J., Dan, S. V., John, J. C., & Leanna, K. R. (2001). A practical tutorial on modified condition\/decision coverage. Technical Report. NASA Langley Technical Report Server.\u00a0https:\/\/ntrs.nasa.gov\/citations\/20010057789"},{"issue":"5","key":"9667_CR21","doi-asserted-by":"publisher","first-page":"457","DOI":"10.1007\/s10009-014-0337-y","volume":"16","author":"F Howar","year":"2014","unstructured":"Howar, F., Isberner, M., Merten, M., Steffen, B., Beyer, D., & P\u0103s\u0103reanu, C. S. (2014). Rigorous examination of reactive systems. Int. J. Softw. Tools Technol. Transf., 16(5), 457\u2013464. https:\/\/doi.org\/10.1007\/s10009-014-0337-y","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"9667_CR22","doi-asserted-by":"publisher","first-page":"530","DOI":"10.1007\/978-3-030-45234-6_28","volume-title":"Fundamental Approaches to Software Engineering","author":"J Jaffar","year":"2020","unstructured":"Jaffar, J., Maghareh, R., Godboley, S., & Ha, X.-L. (2020). TracerX: Dynamic symbolic execution with interpolation (competition contribution). In H. Wehrheim & J. Cabot (Eds.), Fundamental Approaches to Software Engineering (pp. 530\u2013534). Cham: Springer."},{"key":"9667_CR23","doi-asserted-by":"publisher","first-page":"758","DOI":"10.1007\/978-3-642-31424-7_61","volume-title":"Computer Aided Verification","author":"J Jaffar","year":"2012","unstructured":"Jaffar, J., Murali, V., Navas, J. A., & Santosa, A. E. (2012). Tracer: A symbolic execution tool for verification. In P. Madhusudan & S. A. Seshia (Eds.), Computer Aided Verification (pp. 758\u2013766). Berlin, Heidelberg: Springer."},{"key":"9667_CR24","doi-asserted-by":"publisher","unstructured":"John, S., Kosiol, J., Lambers, L.,\u00a0& Taentzer, G. (2023).\u00a0A graph-based framework for model-driven optimization facilitating impact analysis of mutation operator properties.\u00a0Software and Systems Modeling,\u00a022, 1281\u20131318. https:\/\/doi.org\/10.1007\/s10270-022-01078-x","DOI":"10.1007\/s10270-022-01078-x"},{"key":"9667_CR25","doi-asserted-by":"publisher","unstructured":"Jungic, M., Vujanic, Z., Samardzija, D., & Todorovic, B. M. (2019). Safety in automotive industry: ISO 26262 compliant unit testing. In: 2019 27th Telecommunications Forum (TELFOR), pp. 1\u20134. https:\/\/doi.org\/10.1109\/TELFOR48224.2019.8971363","DOI":"10.1109\/TELFOR48224.2019.8971363"},{"key":"9667_CR26","doi-asserted-by":"publisher","unstructured":"Kandl, S., & Chandrashekar, S. (2013). Reasonability of MC\/DC for safety-relevant software implemented in programming languages with short-circuit evaluation. In: 16th IEEE International Symposium on Object\/component\/service-oriented Real-time Distributed Computing (ISORC 2013), pp. 1\u20136. https:\/\/doi.org\/10.1109\/ISORC.2013.6913231","DOI":"10.1109\/ISORC.2013.6913231"},{"key":"9667_CR27","unstructured":"Kauttio, J. (2013). MC\/DC based test selection for dynamic symbolic execution. http:\/\/urn.fi\/URN:NBN:fi:aalto-201310307764"},{"issue":"4","key":"9667_CR28","doi-asserted-by":"publisher","first-page":"256","DOI":"10.1134\/S036176882204003X","volume":"48","author":"VP Kozyrev","year":"2022","unstructured":"Kozyrev, V. P. (2022). Structural coverage analysis of entry and exit points required to achieve the objectives defined in DO-178C. Programming and Computer Software, 48(4), 256\u2013264. https:\/\/doi.org\/10.1134\/S036176882204003X","journal-title":"Programming and Computer Software"},{"key":"9667_CR29","doi-asserted-by":"publisher","first-page":"389","DOI":"10.1007\/978-3-642-54862-8_26","volume":"8413","author":"D Kroening","year":"2014","unstructured":"Kroening, D., & Tautschnig, M. (2014). CBMC - C bounded model checker, 8413, 389\u2013391. https:\/\/doi.org\/10.1007\/978-3-642-54862-8_26","journal-title":"CBMC - C bounded model checker"},{"key":"9667_CR30","doi-asserted-by":"publisher","first-page":"246","DOI":"10.1007\/978-3-030-31784-3_14","volume-title":"Automated Technology for Verification and Analysis","author":"HM Le","year":"2019","unstructured":"Le, H. M. (2019). KLUZZER: Whitebox fuzzing on top of LLVM. In Y.-F. Chen, C.-H. Cheng, & J. Esparza (Eds.), Automated Technology for Verification and Analysis (pp. 246\u2013252). Cham: Springer."},{"key":"9667_CR31","doi-asserted-by":"publisher","unstructured":"Leloudas, P. (2023). Test design techniques, pp. 75\u2013135. Apress, Berkeley, CA. https:\/\/doi.org\/10.1007\/978-1-4842-9514-4_5","DOI":"10.1007\/978-1-4842-9514-4_5"},{"issue":"3","key":"9667_CR32","doi-asserted-by":"publisher","first-page":"1199","DOI":"10.1109\/TR.2018.2834476","volume":"67","author":"H Liang","year":"2018","unstructured":"Liang, H., Pei, X., Jia, X., Shen, W., & Zhang, J. (2018). Fuzzing: State of the art. IEEE Transactions on Reliability, 67(3), 1199\u20131218. https:\/\/doi.org\/10.1109\/TR.2018.2834476","journal-title":"IEEE Transactions on Reliability"},{"key":"9667_CR33","unstructured":"libFuzzer \u2013 a library for coverage-guided fuzz testing, Sep. 2018, [online] Available:\u00a0https:\/\/llvm.org\/docs\/LibFuzzer.html"},{"issue":"12","key":"9667_CR34","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1145\/96267.96279","volume":"33","author":"BP Miller","year":"1990","unstructured":"Miller, B. P., Fredriksen, L., & So, B. (1990). An empirical study of the reliability of Unix utilities. Commun. ACM, 33(12), 32\u201344. https:\/\/doi.org\/10.1145\/96267.96279","journal-title":"Commun. ACM"},{"issue":"2","key":"9667_CR35","doi-asserted-by":"publisher","first-page":"58","DOI":"10.1109\/MSP.2005.55","volume":"3","author":"P Oehlert","year":"2005","unstructured":"Oehlert, P. (2005). Violating assumptions with fuzzing. IEEE Security & Privacy, 3(2), 58\u201362. https:\/\/doi.org\/10.1109\/MSP.2005.55","journal-title":"IEEE Security & Privacy"},{"key":"9667_CR36","doi-asserted-by":"publisher","unstructured":"Rani, G. M., & Godboley, S. (2022). Poster: A gCov based new profiler, gMCov, for MC\/DC and SC-MCC. In: 2022 IEEE Conference on Software Testing, Verification and Validation (ICST), pp. 469\u2013472. https:\/\/doi.org\/10.1109\/ICST53961.2022.00058","DOI":"10.1109\/ICST53961.2022.00058"},{"key":"9667_CR37","unstructured":"RERS \u2013 The Rigorous Examination of Reactive Systems Challenge. (2014). [online] Available: http:\/\/rers-challenge.org\/http:\/\/www.rers-challenge.org\/2014Isola\/"},{"key":"9667_CR38","unstructured":"RERS \u2013 The Rigorous Examination of Reactive Systems Challenge. (2016). [online] Available: http:\/\/rers-challenge.org\/2016\/"},{"key":"9667_CR39","unstructured":"RERS \u2013 The Rigorous Examination of Reactive Systems Challenge. (2018). [online] Available: http:\/\/rers-challenge.org\/"},{"key":"9667_CR40","unstructured":"RERS \u2013 The Rigorous Examination of Reactive Systems Challenge. (2020). [online] Available: http:\/\/rers-challenge.org\/2020\/"},{"key":"9667_CR41","unstructured":"RTCA, I. (2011).\u00a0Software considerations in airborne systems and equipment certification; rtca. Inc.: Washington, DC, USA"},{"key":"9667_CR42","doi-asserted-by":"publisher","first-page":"318","DOI":"10.1007\/BFb0024507","volume-title":"Graph-Theoretic Concepts in Computer Science","author":"M Thorup","year":"1997","unstructured":"Thorup, M. (1997). Structured programs have small tree-width and good register allocation. In R. H. M\u00f6hring (Ed.), Graph-Theoretic Concepts in Computer Science (pp. 318\u2013332). Berlin, Heidelberg: Springer."},{"key":"9667_CR43","doi-asserted-by":"publisher","unstructured":"Winzinger, S., & Wirtz, G. (2022). Automatic test case generation for serverless applications. In: 2022 IEEE International Conference on Service-Oriented System Engineering (SOSE), pp. 77\u201384. https:\/\/doi.org\/10.1109\/SOSE55356.2022.00015","DOI":"10.1109\/SOSE55356.2022.00015"},{"key":"9667_CR44","unstructured":"Zalewski, M. (2016). American fuzzy lop - whitepaper. [online] Available: details.txt.\u00a0https:\/\/lcamtuf.coredump.cx\/afl\/technical"},{"issue":"1","key":"9667_CR45","doi-asserted-by":"publisher","first-page":"21","DOI":"10.1186\/s42400-022-00120-1","volume":"5","author":"Y Zhang","year":"2022","unstructured":"Zhang, Y., Zhong, N., You, W., Zou, Y., Jian, K., Xu, J., Sun, J., Liu, B., & Huo, W. (2022). NDFuzz: A non-intrusive coverage-guided fuzzing framework for virtualized network devices. Cybersecurity, 5(1), 21. https:\/\/doi.org\/10.1186\/s42400-022-00120-1","journal-title":"Cybersecurity"},{"key":"9667_CR46","doi-asserted-by":"publisher","unstructured":"Zhao, Y., Wang, X., Zhao, L., Cheng, Y., & Yin, H. (2022). Alphuzz: Monte Carlo search on seed-mutation tree for coverage-guided fuzzing. In: Proceedings of the 38th Annual Computer Security Applications Conference, ACSAC \u201922, pp. 534\u2013547. Association for Computing Machinery, New York, NY, USA. https:\/\/doi.org\/10.1145\/3564625.3564660","DOI":"10.1145\/3564625.3564660"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-024-09667-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s11219-024-09667-3\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-024-09667-3.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,22]],"date-time":"2024-07-22T07:26:34Z","timestamp":1721633194000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s11219-024-09667-3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2024,5,14]]},"references-count":46,"journal-issue":{"issue":"3","published-print":{"date-parts":[[2024,9]]}},"alternative-id":["9667"],"URL":"https:\/\/doi.org\/10.1007\/s11219-024-09667-3","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"value":"0963-9314","type":"print"},{"value":"1573-1367","type":"electronic"}],"subject":[],"published":{"date-parts":[[2024,5,14]]},"assertion":[{"value":"29 February 2024","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"14 May 2024","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}},{"order":1,"name":"Ethics","group":{"name":"EthicsHeading","label":"Declarations"}},{"value":"The authors declare no competing interests.","order":2,"name":"Ethics","group":{"name":"EthicsHeading","label":"Conflict of interest"}}]}}