{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:50:35Z","timestamp":1730321435869,"version":"3.28.0"},"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":"http:\/\/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":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"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"}]},{"given":"Shubham","family":"Kumar","sequence":"additional","affiliation":[{"name":"Indian Institute of Technology, Kharagpur, West Bengal, India"}]},{"given":"Sangharatna","family":"Godboley","sequence":"additional","affiliation":[{"name":"National University of Singapore, Singapore"}]}],"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"},{"volume-title":"Crosstalk","year":"1998","author":"Leslie","key":"e_1_3_2_1_16_1","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"},{"volume-title":"Developing safety-critical software: a practical guide for aviation software and DO-178C compliance","author":"Rierson Leanna","key":"e_1_3_2_1_23_1","unstructured":"Leanna Rierson. 2013. Developing safety-critical software: a practical guide for aviation software and DO-178C compliance. CRC Press."},{"volume-title":"A Review of Pair-wise Testing. arXiv preprint arXiv:1606.00288","year":"2016","author":"Sanchez Jimi","key":"e_1_3_2_1_24_1","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"},{"volume-title":"Verification and Validation Workshops (ICSTW), 2015 IEEE Eighth International Conference on. IEEE, 1--4.","year":"2015","author":"Vilkomir Sergiy","key":"e_1_3_2_1_34_1","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","sponsor":["iSOFT iSOFT","ACM Association for Computing Machinery","Microsoft Microsoft","ACM India ACM India"],"location":"Pune India","acronym":"ISEC'19"},"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\/pdf\/10.1145\/3299771.3299781","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,2,22]],"date-time":"2024-02-22T17:12:51Z","timestamp":1708621971000},"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"}}]}}