{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,11]],"date-time":"2024-09-11T11:45:24Z","timestamp":1726055124802},"publisher-location":"Cham","reference-count":17,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030322120"},{"type":"electronic","value":"9783030322137"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"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":[[2019]]},"DOI":"10.1007\/978-3-030-32213-7_7","type":"book-chapter","created":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T19:04:57Z","timestamp":1571166297000},"page":"91-103","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["A Temporal Approach for Testing Distributed Systems-A MapReduce Case Study"],"prefix":"10.1007","author":[{"given":"Sara","family":"Hsaini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Salma","family":"Azzouzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"My El Hassan","family":"Charaf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,16]]},"reference":[{"key":"7_CR1","unstructured":"Charaf, M.E.H., Azzouzi, S.: A colored Petri-net model for control execution of distributed systems. In: 2017 4th International Conference on Control, Decision and Information Technologies, CoDIT 2017, January 2017, vol. 2017, pp. 277\u2013282 (2017)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"23","DOI":"10.1016\/j.csi.2015.01.003","volume":"40","author":"S Azzouzi","year":"2015","unstructured":"Azzouzi, S., Benattou, M., Charaf, M.E.H.: A temporal agent based approach for testing open distributed systems. Comput. Stand. Interfaces 40, 23\u201333 (2015)","journal-title":"Comput. Stand. Interfaces"},{"key":"7_CR3","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-0-387-35567-2_6","volume-title":"Testing of Communicating Systems","author":"M Benattou","year":"1999","unstructured":"Benattou, M., Cacciari, L., Pasini, R., Rafiq, O.: Principles and tools for testing open distributed systems. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Testing of Communicating Systems. IFIPAICT, vol. 21, pp. 77\u201392. Springer, Boston, MA (1999). \n                    https:\/\/doi.org\/10.1007\/978-0-387-35567-2_6"},{"issue":"9","key":"7_CR4","doi-asserted-by":"publisher","first-page":"551","DOI":"10.1016\/S0950-5849(01)00169-0","volume":"43","author":"RM Hierons","year":"2001","unstructured":"Hierons, R.M.: Testing a distributed system: generating minimal synchronised test sequences that detect output-shifting faults. Inf. Softw. Technol. 43(9), 551\u2013560 (2001)","journal-title":"Inf. Softw. Technol."},{"issue":"12","key":"7_CR5","doi-asserted-by":"publisher","first-page":"1111","DOI":"10.1016\/S0169-7552(98)00013-0","volume":"30","author":"K-C Tai","year":"1998","unstructured":"Tai, K.-C., Young, Y.-C.: Synchronizable test sequences of finite state machines. Comput. Netw. ISDN Syst. 30(12), 1111\u20131134 (1998)","journal-title":"Comput. Netw. ISDN Syst."},{"issue":"5","key":"7_CR6","doi-asserted-by":"publisher","first-page":"438","DOI":"10.1007\/s11741-008-0512-3","volume":"12","author":"WY Liu","year":"2008","unstructured":"Liu, W.Y., Zeng, H.W., Miao, H.K.: Multiple UIO-based test sequence generation for distributed systems. J. Shanghai Univ. 12(5), 438\u2013443 (2008)","journal-title":"J. Shanghai Univ."},{"issue":"1","key":"7_CR7","doi-asserted-by":"publisher","first-page":"75","DOI":"10.3176\/proc.2017.1.08","volume":"66","author":"A Anier","year":"2017","unstructured":"Anier, A., Vain, J., Tsiopoulos, L.: DTRON: a tool for distributed model-based testing of time critical applications. Proc. Est. Acad. Sci. 66(1), 75 (2017)","journal-title":"Proc. Est. Acad. Sci."},{"issue":"5","key":"7_CR8","doi-asserted-by":"publisher","first-page":"327","DOI":"10.1007\/s00446-017-0308-0","volume":"31","author":"MG Merayo","year":"2018","unstructured":"Merayo, M.G., Hierons, R.M., N\u00fa\u00f1ez, M.: Passive testing with asynchronous communications and timestamps. Distrib. Comput. 31(5), 327\u2013342 (2018)","journal-title":"Distrib. Comput."},{"issue":"2","key":"7_CR9","doi-asserted-by":"publisher","first-page":"522","DOI":"10.1109\/TR.2018.2800093","volume":"67","author":"RM Hierons","year":"2018","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Bounded reordering in the distributed test architecture. IEEE Trans. Reliab. 67(2), 522\u2013537 (2018)","journal-title":"IEEE Trans. Reliab."},{"issue":"4","key":"7_CR10","doi-asserted-by":"publisher","first-page":"395","DOI":"10.1007\/s10207-017-0371-3","volume":"17","author":"JL Lanet","year":"2018","unstructured":"Lanet, J.L., Le Bouder, H., Benattou, M., Legay, A.: When time meets test. Int. J. Inf. Secur. 17(4), 395\u2013409 (2018)","journal-title":"Int. J. Inf. Secur."},{"key":"7_CR11","unstructured":"Marynowski, J.E., Albonico, M., de Almeida, E.C., Suny\u00e9, G.: Testing MapReduce-based systems. In: SBBD - XXVI Simp\u00f3sio Bras, Banco Dados (2011)"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Moran, J., La Riva, C.D., Tuya, J.: MRTree: functional testing based on MapReduce\u2019s execution behaviour. In: Proceedings of 2014 International Conference on Future Internet of Things and Clou, FiCloud 2014, pp. 379\u2013384 (2014)","DOI":"10.1109\/FiCloud.2014.67"},{"key":"7_CR13","doi-asserted-by":"crossref","unstructured":"Csallner, C., Fegaras, L.: New ideas track: testing MapReduce style programs categories and subject descriptors. In: Engineering, pp. 504\u2013507 (2011)","DOI":"10.1145\/2025113.2025204"},{"key":"7_CR14","unstructured":"Lublinsky, B., Smith, K.T., Yakubovich, A.: Professional Hadoop Solutions (2013)"},{"issue":"1","key":"7_CR15","doi-asserted-by":"publisher","first-page":"81","DOI":"10.1016\/S0169-7552(96)00019-0","volume":"29","author":"A. Petrenko","year":"1996","unstructured":"Petrenko, A., Bochmann, G.v., Yao, M.: On fault coverage of tests for finite state specifications. Comput. Netw. ISDN Syst. 29(1), 81\u2013106 (1996)","journal-title":"Computer Networks and ISDN Systems"},{"key":"7_CR16","unstructured":"Wottrich, K., Bressoud, T.: The performance characteristics of mapreduce applications on scalable clusters. In: Proceedings of the Midstates Conference on Undergraduate Research in Computer Science and Mathematics, April 2011"},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"441","DOI":"10.1109\/TPDS.2015.2405552","volume":"27","author":"M Khan","year":"2016","unstructured":"Khan, M., Jin, Y., Li, M., Xiang, Y., Jiang, C.: Hadoop performance modeling for job estimation and resource provisioning. IEEE Trans. Parallel Distrib. Syst. 27(2), 441\u2013454 (2016)","journal-title":"IEEE Trans. Parallel Distrib. Syst."}],"container-title":["Communications in Computer and Information Science","New Trends in Model and Data Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-32213-7_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,15]],"date-time":"2019-10-15T19:05:12Z","timestamp":1571166312000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-32213-7_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030322120","9783030322137"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-32213-7_7","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"16 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"MEDI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Model and Data Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Toulouse","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"France","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"medi2019a","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.irit.fr\/MEDI2019\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"easychair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"41","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"11","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"7","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"27% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"4","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Peer Review Information from Medi International Workshops (DETECT, DSSGA and TRIDENT): out of 34 submissions and 1 invited paper, 13 full papers and 3 short papers were accepted","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}