{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,29]],"date-time":"2026-04-29T21:56:53Z","timestamp":1777499813273,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,2,14]],"date-time":"2019-02-14T00:00:00Z","timestamp":1550102400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2019,2,14]]},"DOI":"10.1145\/3299771.3299781","type":"proceedings-article","created":{"date-parts":[[2019,2,8]],"date-time":"2019-02-08T13:27:45Z","timestamp":1549632465000},"page":"1-11","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":11,"title":["Enhancing Test Cases generated by Concolic Testing"],"prefix":"10.1145","author":[{"given":"Arpita","family":"Dutta","sequence":"first","affiliation":[{"name":"Indian Institute of Technology, Kharagpur, West Bengal, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Shubham","family":"Kumar","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology, Kharagpur, West Bengal, India"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Sangharatna","family":"Godboley","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,2,14]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2006.83"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.56"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICST.2012.144"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1109\/SSIRI.2009.53"},{"key":"e_1_3_2_1_6_1","article-title":"Automatic generation of MC\/DC test data","volume":"2","author":"Das Avijit","year":"2013","unstructured":"Avijit Das and Rajib Mall. 2013. Automatic generation of MC\/DC test data. International Journal of Software Engineering 2, 1 (2013).","journal-title":"International Journal of Software Engineering"},{"key":"e_1_3_2_1_7_1","unstructured":"elevator 2014. elevator.java. https:\/\/github.com\/paasar\/elevator\/tree\/master\/clients\/java\/src\/main\/java\/com\/houstoninc\/elevator"},{"key":"e_1_3_2_1_8_1","unstructured":"GFG {n. d.}. GFG.java. https:\/\/www.geeksforgeeks.org\/survival\/"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2016.09.006"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.csi.2017.04.003"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.2405"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1109\/IAdCC.2013.6514432"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065036"},{"key":"e_1_3_2_1_14_1","unstructured":"Kelly J Hayhurst Dan S Veerhusen John J Chilenski and Leanna K Rierson. 2001. A practical tutorial on modified condition\/decision coverage. (2001)."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"e_1_3_2_1_16_1","volume-title":"Crosstalk","author":"Leslie","year":"1998","unstructured":"Leslie A Johnson et al. 1998. DO-178B, Software considerations in airborne systems and equipment certification. Crosstalk, October 199 (1998)."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/1318471.1318536"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/322993.322996"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.41"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/2675527"},{"key":"e_1_3_2_1_21_1","unstructured":"MultiplicationSign 2014. MultiplicationSign .java. https:\/\/github.com\/Sasho80\/5.Conditional-Statements\/blob\/master\/04.Multiplication%20Sign"},{"key":"e_1_3_2_1_22_1","unstructured":"RERS-2012 2012. RERS-2012:Problem1.java. http:\/\/rers-challenge.org\/2012\/examples\/small-easy\/Problem1-int.java"},{"key":"e_1_3_2_1_23_1","volume-title":"Developing safety-critical software: a practical guide for aviation software and DO-178C compliance","author":"Rierson Leanna","unstructured":"Leanna Rierson. 2013. Developing safety-critical software: a practical guide for aviation software and DO-178C compliance. CRC Press."},{"key":"e_1_3_2_1_24_1","volume-title":"A Review of Pair-wise Testing. arXiv preprint arXiv:1606.00288","author":"Sanchez Jimi","year":"2016","unstructured":"Jimi Sanchez. 2016. A Review of Pair-wise Testing. arXiv preprint arXiv:1606.00288 (2016)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1321631.1321746"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11817963_38"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1095430.1081750"},{"key":"e_1_3_2_1_28_1","unstructured":"SV-Benchmarks:spec1-5 2015. SV-Benchmarks:spec1-5. https:\/\/github.com\/sosy-lab\/sv-benchmarks\/tree\/master\/java\/MinePump\/spec1-5"},{"key":"e_1_3_2_1_29_1","unstructured":"TCAS 2011. TCAS.java. http:\/\/www1.sun.ac.za\/redmine\/projects\/probsymexe\/repository\/changes\/jpf-symbc\/src\/examples\/probsym\/TCAS.java"},{"key":"e_1_3_2_1_30_1","unstructured":"The Biggest Of 5 Numbers 2014. BiggestOf5Numbers.java. https:\/\/github.com\/Sasho80\/5.Conditional-Statements\/blob\/master\/06.The%20Biggest%20Of%205%20Numbers"},{"key":"e_1_3_2_1_31_1","unstructured":"trityp 2003. trityp.java. https:\/\/cs.gmu.edu\/~offutt\/softwaretest\/edition1\/programs\/ch03\/trityp.java"},{"key":"e_1_3_2_1_32_1","unstructured":"vending-machine 2015. vending-machine.java. https:\/\/codereview.stackexchange.com\/questions\/37376\/vending-machine-implementation"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1109\/QRS-C.2017.19"},{"key":"e_1_3_2_1_34_1","volume-title":"Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on. IEEE, 1--4.","author":"Vilkomir Sergiy","year":"2015","unstructured":"Sergiy Vilkomir and David Anderson. 2015. Relationship between pair-wise and MC\/DC testing: Initial experimental results. In Software Testing, Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on. IEEE, 1--4."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1109\/ICSTW.2013.83"},{"key":"e_1_3_2_1_36_1","unstructured":"Zero Subset 2014. ZeroSubset.java. https:\/\/github.com\/Sasho80\/5.Conditional-Statements\/blob\/master\/12.*Zero%20Subset"},{"key":"e_1_3_2_1_37_1","unstructured":"Zodiac 2017. Zodiac.java. https:\/\/introcs.cs.princeton.edu\/java\/13flow\/Zodiac.java.html"}],"event":{"name":"ISEC'19: 12th Innovations in Software Engineering Conference","location":"Pune India","acronym":"ISEC'19","sponsor":["iSOFT iSOFT","ACM Association for Computing Machinery","Microsoft Microsoft","ACM India ACM India"]},"container-title":["Proceedings of the 12th Innovations in Software Engineering Conference (formerly known as India Software Engineering Conference)"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3299771.3299781","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3299771.3299781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:26:13Z","timestamp":1750206373000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3299771.3299781"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,2,14]]},"references-count":36,"alternative-id":["10.1145\/3299771.3299781","10.1145\/3299771"],"URL":"https:\/\/doi.org\/10.1145\/3299771.3299781","relation":{},"subject":[],"published":{"date-parts":[[2019,2,14]]},"assertion":[{"value":"2019-02-14","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}