{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,9]],"date-time":"2024-09-09T18:16:21Z","timestamp":1725905781727},"publisher-location":"Singapore","reference-count":17,"publisher":"Springer Singapore","isbn-type":[{"type":"print","value":"9789811054266"},{"type":"electronic","value":"9789811054273"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-981-10-5427-3_18","type":"book-chapter","created":{"date-parts":[[2017,7,21]],"date-time":"2017-07-21T05:43:15Z","timestamp":1500615795000},"page":"165-172","source":"Crossref","is-referenced-by-count":0,"title":["Measuring Branch Coverage for the SOA Based Application Using Concolic Testing"],"prefix":"10.1007","author":[{"given":"A.","family":"Dutta","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S.","family":"Godboley","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"D. P.","family":"Mohapatra","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,7,22]]},"reference":[{"issue":"5","key":"18_CR1","first-page":"41","volume":"2","author":"O Karimi","year":"2011","unstructured":"Karimi, O., Nasser, M.: Enterprise integration using service oriented architecture. Adv. Comput.: Int. J. (ACIJ) 2(5), 41\u201347 (2011)","journal-title":"Adv. Comput.: Int. J. (ACIJ)"},{"key":"18_CR2","unstructured":"An Oracle White Paper, Application Upgrades and Service Oriented Architecture, Oracle (2008)"},{"key":"18_CR3","first-page":"54","volume":"1","author":"A Kumar","year":"2015","unstructured":"Kumar, A., Manindra, S.: An empirical study on testing of SOA based services. I.J. Inf. Technol. Comput. Sci. 1, 54\u201366 (2015)","journal-title":"I.J. Inf. Technol. Comput. Sci."},{"key":"18_CR4","doi-asserted-by":"crossref","first-page":"31","DOI":"10.5815\/ijmecs.2015.01.05","volume":"1","author":"A Kumar","year":"2015","unstructured":"Kumar, A.: A novel testing model for SOA based services. I.J. Mod. Educ. Comput. Sci. 1, 31\u201337 (2015)","journal-title":"I.J. Mod. Educ. Comput. Sci."},{"key":"18_CR5","doi-asserted-by":"crossref","unstructured":"Lubke, D., Singer, L., Salnikow, A.: Calculating BPEL test coverage through instrumentation. In: ICSE Workshop on Automation of Software Test AST 2009, pp. 115\u2013122. IEEE (2009)","DOI":"10.1109\/IWAST.2009.5069049"},{"issue":"7","key":"18_CR6","first-page":"35","volume":"80","author":"E Shamsoddin-Motlagh","year":"2013","unstructured":"Shamsoddin-Motlagh, E.: Automatic test case generation for orchestration languages at service oriented architecture. Int. J. Comput. Appl. 80(7), 35\u201344 (2013)","journal-title":"Int. J. Comput. Appl."},{"key":"18_CR7","unstructured":"Godboley, S., Mohapatra, D.P.: Time analysis of evaluating coverage percentage for C program using advanced program code transformer. In: 7th CSI International Conference on Software Engineering, pp. 91\u201397, November 2013"},{"key":"18_CR8","doi-asserted-by":"crossref","unstructured":"Godboley, S., Prashanth, G.S., Mahapatro, D.P., Majhi, B.: Increase in modified condition\/decision coverage using program code transformer. In: IEEE 3rd International Advance Computing Conference (IACC), pp. 1400\u20131407, February 2013","DOI":"10.1109\/IAdCC.2013.6514432"},{"key":"18_CR9","doi-asserted-by":"crossref","unstructured":"Godboley, S., Prashanth, G.S., Mahapatro, D.P, Majhi, B.: Enhanced modified condition\/decision coverage using exclusive-nor code transformer. In: 2013 International Multi-conference on Automation, Computing, Communication, Control and Compressed Sensing (iMac4s), pp. 524\u2013531, March 2013","DOI":"10.1109\/iMac4s.2013.6526469"},{"key":"18_CR10","doi-asserted-by":"publisher","unstructured":"Godboley, S., Mohapatra, D.P., Das, A., Mall, R.: An improved distributed concolic testing. Softw.: Pract. Exper. (2016). doi: 10.1002\/spe.2405","DOI":"10.1002\/spe.2405"},{"issue":"7","key":"18_CR11","doi-asserted-by":"crossref","first-page":"385","DOI":"10.1145\/360248.360252","volume":"19","author":"JC King","year":"1976","unstructured":"King, J.C.: Symbolic execution and program testing. Commun. ACM 19(7), 385\u2013394 (1976)","journal-title":"Commun. ACM"},{"key":"18_CR12","doi-asserted-by":"crossref","unstructured":"Godefroid, P., Klarlund, N., Sen, K.: DART: directed automated random testing. In: Proceedings PLDI, pp. 75\u201384, New York, USA (2005)","DOI":"10.1145\/1065010.1065036"},{"key":"18_CR13","doi-asserted-by":"crossref","unstructured":"Das, A.: Automatic generation of MC\/DC test data. Master thesis, Computer Science & Engineering, Indian Institute of Technology, Kharagpur, India (2012)","DOI":"10.2316\/Journal.213.2013.2.213-1037"},{"key":"18_CR14","doi-asserted-by":"crossref","unstructured":"Bokil, P., Darke, P., Shrotri, U., Venkatesh, R.: Automatic test data generation for C programs. In: 3rd IEEE International Conference on Secure Software Integration and Reliability Improvement (2009)","DOI":"10.1109\/SSIRI.2009.53"},{"key":"18_CR15","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/j.csi.2016.09.006","volume":"50","author":"S Godboley","year":"2016","unstructured":"Godboley, S., Dutta, A., Mohapatra, D.P., Mall, R.: J3 model: a novel framework for improved modified condition\/decision coverage analysis. Comput. Stand. Interfaces 50, 1\u201317 (2016). Elsevier","journal-title":"Comput. Stand. Interfaces"},{"key":"18_CR16","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/s11334-016-0284-8","volume":"12","author":"S Godboley","year":"2016","unstructured":"Godboley, S., Dutta, A., Mohapatra, D.P., Das, A., Mall, R.: Making a concolic tester achieve increased MC\/DC. Innov. Syst. Softw. Eng. 12, 1\u201314 (2016). Springer","journal-title":"Innov. Syst. Softw. Eng."},{"key":"18_CR17","doi-asserted-by":"crossref","unstructured":"Godboley, S., Dutta, A., Mohapatra, D.P.: Java-HCT: an approach to increase MC\/DC using Hybrid Concolic Testing for Java programs. In: Proceedings of the Federated Conference on Computer Science and Information Systems (36th IEEE Software Engineering Workshop), Annals of Computer Science and Information Systems, vol. 8, pp. 1709\u20131713. Gdansk University of Technology, Gdansk (2016)","DOI":"10.15439\/2016F289"}],"container-title":["Communications in Computer and Information Science","Advances in Computing and Data Sciences"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-10-5427-3_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,8,24]],"date-time":"2023-08-24T12:48:06Z","timestamp":1692881286000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-981-10-5427-3_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9789811054266","9789811054273"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-981-10-5427-3_18","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2017]]}}}