{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T20:25:59Z","timestamp":1725999959778},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030042714"},{"type":"electronic","value":"9783030042721"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-030-04272-1_11","type":"book-chapter","created":{"date-parts":[[2018,11,19]],"date-time":"2018-11-19T01:02:36Z","timestamp":1542589356000},"page":"173-184","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Parallel Reachability Testing Based on Hadoop MapReduce"],"prefix":"10.1007","author":[{"given":"Xiaofang","family":"Qi","sequence":"first","affiliation":[]},{"given":"Yueran","family":"Li","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2018,11,20]]},"reference":[{"key":"11_CR1","volume-title":"Real-Time Systems and Programming Languages","author":"A Burns","year":"2001","unstructured":"Burns, A., Wellings, A.: Real-Time Systems and Programming Languages, 3rd edn. Addison Wesley Longman, Boston (2001)","edition":"3"},{"issue":"1","key":"11_CR2","doi-asserted-by":"publisher","first-page":"111","DOI":"10.1147\/sj.411.0111","volume":"41","author":"O Edelstein","year":"2002","unstructured":"Edelstein, O., Farchi, E., et al.: Multithread Java program test generation. J. IBM Syst. 41(1), 111\u2013125 (2002)","journal-title":"J. IBM Syst."},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"206","DOI":"10.1109\/32.126769","volume":"18","author":"RN Taylor","year":"1992","unstructured":"Taylor, R.N., Levine, D.L., Kelly, C.D.: Structural testing of concurrent programs. IEEE Trans. Softw. Eng. 18(3), 206\u2013214 (1992)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"6","key":"11_CR4","doi-asserted-by":"publisher","first-page":"382","DOI":"10.1109\/TSE.2006.56","volume":"32","author":"Y Lei","year":"2006","unstructured":"Lei, Y., Carver, R.H.: Reachability testing of concurrent programs. IEEE Trans. Softw. Eng. 32(6), 382\u2013403 (2006)","journal-title":"IEEE Trans. Softw. Eng."},{"issue":"18","key":"11_CR5","doi-asserted-by":"publisher","first-page":"2445","DOI":"10.1002\/cpe.1573","volume":"22","author":"RH Carver","year":"2010","unstructured":"Carver, R.H., Lei, Y.: Distributed reachability testing of concurrent programs. Concurrency Comput.: Practice Exp. 22(18), 2445\u20132466 (2010)","journal-title":"Concurrency Comput.: Practice Exp."},{"key":"11_CR6","unstructured":"Apache Hadoop. \n http:\/\/hadoop.apache.org\/\n \n . Accessed 28 June 2018"},{"issue":"4","key":"11_CR7","doi-asserted-by":"publisher","first-page":"832","DOI":"10.1007\/s10766-015-0395-0","volume":"44","author":"R Li","year":"2016","unstructured":"Li, R., Hu, H., et al.: MapReduce parallel programming model: a state-of-the-art survey. Int. J. Parallel Program. 44(4), 832\u2013866 (2016)","journal-title":"Int. J. Parallel Program."},{"key":"11_CR8","unstructured":"Amazon Elastic Compute Cloud. \n http:\/\/aws.amazon.com\/ec2\/\n \n . Accessed 28 June 2018"},{"key":"11_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1007\/978-3-540-30482-1_14","volume-title":"Formal Methods and Software Engineering","author":"RH Carver","year":"2004","unstructured":"Carver, R.H., Lei, Y.: A general model for reachability testing of concurrent programs. In: Davies, J., Schulte, W., Barnett, M. (eds.) ICFEM 2004. LNCS, vol. 3308, pp. 76\u201398. Springer, Heidelberg (2004). \n https:\/\/doi.org\/10.1007\/978-3-540-30482-1_14"},{"key":"11_CR10","unstructured":"White, T.: Hadoop: The Definitive Guide, 3rd edn. O\u2019Reilly Media, Sebastopol (2012)"},{"key":"11_CR11","doi-asserted-by":"publisher","DOI":"10.1002\/0471744174","volume-title":"Modern Multithreading","author":"RH Carver","year":"2005","unstructured":"Carver, R.H., Tai, K.C.: Modern Multithreading. Wiley, New Jersey (2005)"},{"issue":"3","key":"11_CR12","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1002\/cpe.1068","volume":"19","author":"Y Edelstein","year":"2007","unstructured":"Edelstein, Y., Havelund, K., et al.: Towards a multi-threaded programs. Concurrency Comput.: Practice Exp. 19(3), 267\u2013279 (2007)","journal-title":"Concurrency Comput.: Practice Exp."},{"issue":"4","key":"11_CR13","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1002\/stvr.369","volume":"17","author":"Y Lei","year":"2007","unstructured":"Lei, Y., Carver, R.H., Kacker, R., et al.: A combinatorial testing strategy for concurrent programs. Softw. Test. Verif. Reliab. 17(4), 207\u2013225 (2007)","journal-title":"Softw. Test. Verif. Reliab."},{"issue":"4","key":"11_CR14","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1007\/s11704-016-5096-3","volume":"10","author":"X Qi","year":"2016","unstructured":"Qi, X., He, J., et al.: Variable strength combinatorial testing of concurrent programs. Front. Comput. Sci. 10(4), 631\u2013643 (2016)","journal-title":"Front. Comput. Sci."},{"key":"11_CR15","unstructured":"Souza, S.R.S., Souza, P.S.L., et al.: Using coverage and reachability testing to improve concurrent program testing quality. In: 23rd International Conference on Software Engineering and Knowledge Engineering (SEKE), pp. 207\u2013212. Knowledge Systems Institute, Miami, U.S.A. (2011)"},{"key":"11_CR16","unstructured":"Geronimo, D., Ferrucci, F., Murolo, A., et al.: A parallel genetic algorithm based on hadoop mapreduce for the automatic generation of junit test suites. In: 5th IEEE International Conference on Software Testing, Verification and Validation (ICST), pp. 785\u2013793. IEEE Computer Society, Montreal Canada (2012)"},{"key":"11_CR17","doi-asserted-by":"crossref","unstructured":"Parveen, T., Tilley, S., Daley, N., et al.: Towards a distributed execution framework for JUnit test cases. In: 25th IEEE International Conference on Software Maintenance (ICSM), pp. 425\u2013428. IEEE Computer Society, Alberta (2009)","DOI":"10.1109\/ICSM.2009.5306292"}],"container-title":["Lecture Notes in Computer Science","Software Analysis, Testing, and Evolution"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-04272-1_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,20]],"date-time":"2019-05-20T05:15:07Z","timestamp":1558329307000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-04272-1_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783030042714","9783030042721"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-04272-1_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]},"assertion":[{"value":"20 November 2018","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SATE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Software Analysis, Testing, and Evolution","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Shenzheng","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2018","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23 November 2018","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"24 November 2018","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"8","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"satev2018","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/xiongyingfei.github.io\/confs\/sate18\/index_en.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}