{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,29]],"date-time":"2025-10-29T03:40:53Z","timestamp":1761709253482,"version":"3.37.3"},"reference-count":32,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2016,9,9]],"date-time":"2016-09-09T00:00:00Z","timestamp":1473379200000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Innovations Syst Softw Eng"],"published-print":{"date-parts":[[2016,12]]},"DOI":"10.1007\/s11334-016-0284-8","type":"journal-article","created":{"date-parts":[[2016,9,9]],"date-time":"2016-09-09T03:50:58Z","timestamp":1473393058000},"page":"319-332","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":16,"title":["Making a concolic tester achieve increased MC\/DC"],"prefix":"10.1007","volume":"12","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-6169-6334","authenticated-orcid":false,"given":"Sangharatna","family":"Godboley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Arpita","family":"Dutta","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Durga Prasad","family":"Mohapatra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Avijit","family":"Das","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rajib","family":"Mall","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,9,9]]},"reference":[{"issue":"7","key":"284_CR1","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King JC (1976) Symbolic execution and program testing. Commun ACM 19(7):385\u2013394","journal-title":"Commun ACM"},{"issue":"3","key":"284_CR2","doi-asserted-by":"crossref","first-page":"223","DOI":"10.1109\/TSE.1976.233818","volume":"2","author":"W Miller","year":"1976","unstructured":"Miller W, Spooner DL (1976) Automatic generation of floating-point test data. IEEE Trans Softw Eng 2(3):223\u2013226","journal-title":"IEEE Trans Softw Eng"},{"key":"284_CR3","doi-asserted-by":"crossref","unstructured":"Godefroid P, Klarlund N, Sen K (2005) DART: Directed automated random testing. In: Proceedings of PLDI, New York, USA, pp 75\u201384","DOI":"10.1145\/1065010.1065036"},{"key":"284_CR4","doi-asserted-by":"crossref","unstructured":"Pacheco C, Lahiri SK, Ernst MD, Ball T (2007) Feedback-directed random test generation. In: Proceedings of ICSE, Minneapolis, USA, pp 75\u201384","DOI":"10.1109\/ICSE.2007.37"},{"key":"284_CR5","unstructured":"RTCA Inc. (2011) RTCA\/DO-178C, Software Considerations in Airborne Systems and Equipment Certification, Washington, D.C. December, Issue Date 13\/12\/2011"},{"key":"284_CR6","doi-asserted-by":"crossref","unstructured":"Chilenski JJ, Miller SP (1994) Applicability of modified condition\/decision coverage to software testing. Softw Eng J 9(5):193\u2013200","DOI":"10.1049\/sej.1994.0025"},{"issue":"4","key":"284_CR7","doi-asserted-by":"crossref","first-page":"411","DOI":"10.1145\/322993.322996","volume":"8","author":"D Richard Kuhn","year":"1999","unstructured":"Richard Kuhn D (1999) Fault classes and error detection capability of specification-based testing. ACM Trans Softw Eng Methodol 8(4):411\u2013424","journal-title":"ACM Trans Softw Eng Methodol"},{"issue":"4","key":"284_CR8","doi-asserted-by":"crossref","first-page":"487","DOI":"10.1137\/0107041","volume":"7","author":"SB Akers","year":"1959","unstructured":"Akers SB (1959) On a theory of boolean functions. J Soc Ind Appl Math 7(4):487\u2013498","journal-title":"J Soc Ind Appl Math"},{"key":"284_CR9","unstructured":"Hayhurst KJ, Veerhusen DS, Chilenski JJ, Rierson LK (2001) A practical tutorial on modified condition\/decision coverage, NASA\/TM-2001-210876"},{"key":"284_CR10","doi-asserted-by":"crossref","unstructured":"Ammann P, Offutt J, Huang H (2003) Coverage criteria for logical expression. In: Proceedings of ISSRE, Washington, D.C., USA, pp 99\u2013107","DOI":"10.1109\/ISSRE.2003.1251034"},{"key":"284_CR11","unstructured":"Hollander MD (2010) Automatic unit test generation. In: Master thesis, Software Engineering Research Group, Delft University of Technology, Delft, The Netherlands"},{"key":"284_CR12","doi-asserted-by":"crossref","unstructured":"Cadar C, Ganesh V, Pawlowski PM, Dill David L, Dawson R (2006) EXE: Automatically generating inputs of death. In: Proceedings of ACM conference on computer and communications security. New York, NY, USA, pp 322\u2013335","DOI":"10.1145\/1180405.1180445"},{"key":"284_CR13","doi-asserted-by":"crossref","unstructured":"Pacheco C, Ernst MD (2005) Eclat: automatic generation and classification of test inputs. In: Proceedings of ECOOP, New York, NY, USA, pp 263\u2013272","DOI":"10.1007\/11531142_22"},{"key":"284_CR14","doi-asserted-by":"crossref","unstructured":"Sen K, Marinov D, Agha G (2005) CUTE: a concolic unit testing engine for C. In: Proceedings of ESEC\/FSE, Lisbon, Portugal, pp 263\u2013272","DOI":"10.1145\/1081706.1081750"},{"key":"284_CR15","doi-asserted-by":"crossref","unstructured":"Majumder R, Sen K (2007) Hybrid concolic testing. In: Proceedings of ASE, Washington, D.C., USA, pp 416\u2013426","DOI":"10.1109\/ICSE.2007.41"},{"key":"284_CR16","doi-asserted-by":"crossref","unstructured":"Burnim J, Sen K (2008) Heuristics for scalable dynamic test generation. In: Proceedings of ASE, Washington, D.C., USA, pp 443\u2013446","DOI":"10.1109\/ASE.2008.69"},{"key":"284_CR17","doi-asserted-by":"crossref","unstructured":"Pandita R, Xie T, Tillmann N, de Halleux J (2010) Guided test generation for coverage criteria. In: Proceedings of ICSM, Timisoara, Romania, pp 1\u201310","DOI":"10.1109\/ICSM.2010.5609565"},{"key":"284_CR18","doi-asserted-by":"crossref","unstructured":"Awedikian Z, Ayari K, Antoniol G (2009) MC\/DC automatic test input data generation. In: Proceedings of GECCO, New York, USA, pp 1657\u20131664","DOI":"10.1145\/1569901.1570123"},{"issue":"2","key":"284_CR19","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1002\/stvr.294","volume":"14","author":"P McMinn","year":"2004","unstructured":"McMinn P (2004) Search-based software test data generation: a survey: research articles. Softw Test, Verif Reliab 14(2):105\u2013156","journal-title":"Softw Test, Verif Reliab"},{"key":"284_CR20","doi-asserted-by":"crossref","unstructured":"Das Avijit (2012) Automatic generation of MC\/DC test data. In: Master Thesis, computer science and engineering, Indian Institute of Technology, Kharagpur, India","DOI":"10.2316\/Journal.213.2013.2.213-1037"},{"key":"284_CR21","doi-asserted-by":"crossref","first-page":"1797","DOI":"10.1007\/s11432-011-4368-7","volume":"54","author":"S Krishnamoorthy","year":"2011","unstructured":"Krishnamoorthy S, Hsiao SM, Lingappan L (2011) Strategies for scalable symbolic execution-driven test generation for programs. Sci China Info Sci 54:1797\u20131812","journal-title":"Sci China Info Sci"},{"key":"284_CR22","unstructured":"CREST. http:\/\/code.google.com\/p\/crest . Accessed 25 Feb 2016"},{"key":"284_CR23","unstructured":"Harrold J, Rothermel G Siemens programs and HR variants. http:\/\/www.cc.gatech.edu\/aristotle\/Tools\/subjects\/ . Accessed 25 Feb 2016"},{"key":"284_CR24","doi-asserted-by":"crossref","unstructured":"Qu X, Robinson B (2011) A case study of concolic testing tools and their limitations. In: Proceedings of ESEM, Washington, D.C.,USA, pp 117\u2013126","DOI":"10.1109\/ESEM.2011.20"},{"key":"284_CR25","doi-asserted-by":"crossref","unstructured":"Bokil P, Darke P, Shrotri U, Venkatesh R (2009) Automatic test data generation for C Programs. In: 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement","DOI":"10.1109\/SSIRI.2009.53"},{"issue":"5","key":"284_CR26","doi-asserted-by":"crossref","first-page":"505","DOI":"10.1007\/s10009-007-0044-z","volume":"9","author":"D Beyer","year":"2007","unstructured":"Beyer D, Henzinger TA, Ranjit J, Majumdar R (2007) The software model checker blast. Int J Softw Tools Technol Transf (STTT) 9(5):505\u2013525","journal-title":"Int J Softw Tools Technol Transf (STTT)"},{"key":"284_CR27","doi-asserted-by":"crossref","unstructured":"Das A, Mall R (2013) Automatic generation of MC\/DC test data. Int J Softw Eng, Acta Press 2(1):1\u20138","DOI":"10.2316\/Journal.213.2013.2.213-1037"},{"key":"284_CR28","unstructured":"Godboley S, Mohaptra DP, Mall R (2015) $$J^3$$ J 3 Model: a novel framework for improved modified condition \/ decision coverage analysis. Comput Stand Interfaces, Elsevier (Communicated)"},{"key":"284_CR29","unstructured":"Mjeda A, Hinchey M (2013) CTMCONTROL: addressing the MC\/DC objective for safety-critical automotive software. In: 2nd workshop on critical automotive applications : robustness and safety), a part of the 32nd international conference on computer safety, reliability and security. Toulouse, France, Sep 2013"},{"key":"284_CR30","unstructured":"Mjeda A (2013) Standard-compliant testing for safety-related automotive software. PhD. Thesis. University of Limerick. http:\/\/hdl.handle.net\/10344\/3608"},{"key":"284_CR31","doi-asserted-by":"crossref","unstructured":"Sen K, Agha G (2006) CUTE and jCUTE: concolic unit testing and explicit path model-checking tools (tools paper). DTIC document","DOI":"10.21236\/ADA484701"},{"key":"284_CR32","doi-asserted-by":"crossref","unstructured":"Boonstoppel P, Cadar C, Engler D (2008) RWset: attacking path explosion in constraint-based test generation. In: TACAS08: international conference on tools and algorithms for the constructions and analysis of systems","DOI":"10.1007\/978-3-540-78800-3_27"}],"container-title":["Innovations in Systems and Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-016-0284-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11334-016-0284-8\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11334-016-0284-8.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,13]],"date-time":"2019-09-13T05:03:19Z","timestamp":1568350999000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11334-016-0284-8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,9,9]]},"references-count":32,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2016,12]]}},"alternative-id":["284"],"URL":"https:\/\/doi.org\/10.1007\/s11334-016-0284-8","relation":{},"ISSN":["1614-5046","1614-5054"],"issn-type":[{"type":"print","value":"1614-5046"},{"type":"electronic","value":"1614-5054"}],"subject":[],"published":{"date-parts":[[2016,9,9]]}}}