{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,21]],"date-time":"2025-02-21T00:58:21Z","timestamp":1740099501453,"version":"3.37.3"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030292379"},{"type":"electronic","value":"9783030292386"}],"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-29238-6_24","type":"book-chapter","created":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T19:02:43Z","timestamp":1567364563000},"page":"327-338","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Local Observability and Controllability Enforcement in Distributed Testing"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-2572-047X","authenticated-orcid":false,"given":"Bruno","family":"Lima","sequence":"first","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0003-3825-3954","authenticated-orcid":false,"given":"Jo\u00e3o Pascoal","family":"Faria","sequence":"additional","affiliation":[]},{"ORCID":"https:\/\/orcid.org\/0000-0002-4771-1446","authenticated-orcid":false,"given":"Robert","family":"Hierons","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2019,8,8]]},"reference":[{"key":"24_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-15187-3_1","volume-title":"The Future of Software Engineering","author":"B Boehm","year":"2011","unstructured":"Boehm, B.: Some future software engineering opportunities and challenges. In: Nanz, S. (ed.) The Future of Software Engineering, pp. 1\u201332. Springer, Berlin (2011). \n                    https:\/\/doi.org\/10.1007\/978-3-642-15187-3_1"},{"key":"24_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"49","DOI":"10.1007\/978-3-642-05031-2_4","volume-title":"Testing of Software and Communication Systems","author":"S Boroday","year":"2009","unstructured":"Boroday, S., Petrenko, A., Ulrich, A.: Implementing MSC tests with quiescence observation. In: N\u00fa\u00f1ez, M., Baker, P., Merayo, M.G. (eds.) FATES\/TestCom -2009. LNCS, vol. 5826, pp. 49\u201365. Springer, Heidelberg (2009). \n                    https:\/\/doi.org\/10.1007\/978-3-642-05031-2_4"},{"key":"24_CR3","unstructured":"Durr, E., Van Katwijk, J.: VDM++, a formal specification language for object-oriented designs. In: CompEuro 1992. Proceedings of Computer Systems and Software Engineering, pp. 214\u2013219. IEEE (1992)"},{"issue":"1","key":"24_CR4","doi-asserted-by":"publisher","first-page":"63","DOI":"10.1007\/s00446-011-0153-5","volume":"25","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M.: Overcoming controllability problems in distributed testing from an input output transition system. Distrib. Comput. 25(1), 63\u201381 (2012). \n                    https:\/\/doi.org\/10.1007\/s00446-011-0153-5","journal-title":"Distrib. Comput."},{"issue":"1","key":"24_CR5","doi-asserted-by":"publisher","first-page":"5:1","DOI":"10.1145\/2661296","volume":"24","author":"RM Hierons","year":"2014","unstructured":"Hierons, R.M.: Combining centralised and distributed testing. ACM Trans. Softw. Eng. Methodol. 24(1), 5:1\u20135:29 (2014). \n                    https:\/\/doi.org\/10.1145\/2661296","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"24_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"232","DOI":"10.1007\/978-3-642-32759-9_20","volume-title":"FM 2012: Formal Methods","author":"RM Hierons","year":"2012","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Using time to add order to distributed testing. In: Giannakopoulou, D., M\u00e9ry, D. (eds.) FM 2012. LNCS, vol. 7436, pp. 232\u2013246. Springer, Heidelberg (2012). \n                    https:\/\/doi.org\/10.1007\/978-3-642-32759-9_20"},{"key":"24_CR7","unstructured":"Larsen, P.G., et al.: VDM-10 language manual. Technical report (2016)"},{"key":"24_CR8","doi-asserted-by":"publisher","unstructured":"Lima, B.M.C., Faria, J.C.P.: Towards decentralized conformance checking in model-based testing of distributed systems. In: 2017 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), pp. 356\u2013365, March 2017. \n                    https:\/\/doi.org\/10.1109\/ICSTW.2017.64","DOI":"10.1109\/ICSTW.2017.64"},{"key":"24_CR9","series-title":"Communications in Computer and Information Science","doi-asserted-by":"publisher","first-page":"380","DOI":"10.1007\/978-3-319-30142-6_21","volume-title":"Software Technologies","author":"B Lima","year":"2016","unstructured":"Lima, B., Faria, J.P.: Automated testing of distributed and heterogeneous systems based on UML sequence diagrams. In: Lorenz, P., Cardoso, J., Maciaszek, L.A., van Sinderen, M. (eds.) ICSOFT 2015. CCIS, vol. 586, pp. 380\u2013396. Springer, Cham (2016). \n                    https:\/\/doi.org\/10.1007\/978-3-319-30142-6_21"},{"issue":"9","key":"24_CR10","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1109\/TSE.2005.104","volume":"31","author":"B Mitchell","year":"2005","unstructured":"Mitchell, B.: Resolving race conditions in asynchronous partial order scenarios. IEEE Trans. Softw. Eng. 31(9), 767\u2013784 (2005). \n                    https:\/\/doi.org\/10.1109\/TSE.2005.104","journal-title":"IEEE Trans. Softw. Eng."},{"key":"24_CR11","unstructured":"OMG: OMG Unified Modeling Language TM (OMG UML) Version 2.5. Technical report, Object Management Group (2015)"},{"key":"24_CR12","unstructured":"Tassey, G.: The economic impacts of inadequate infrastructure for software testing. National Institute of Standards and Technology, RTI Project 7007(011) (2002)"},{"key":"24_CR13","series-title":"IFIP \u2014 The International Federation for Information Processing","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/978-0-387-35567-2_7","volume-title":"Testing of Communicating Systems","author":"A Ulrich","year":"1999","unstructured":"Ulrich, A., K\u00f6nig, H.: Architectures for testing distributed systems. In: Csopaki, G., Dibuz, S., Tarnay, K. (eds.) Testing of Communicating Systems. ITIFIP, vol. 21, pp. 93\u2013108. Springer, Boston (1999). \n                    https:\/\/doi.org\/10.1007\/978-0-387-35567-2_7"}],"container-title":["Communications in Computer and Information Science","Quality of Information and Communications Technology"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-29238-6_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,1]],"date-time":"2019-09-01T19:05:47Z","timestamp":1567364747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-29238-6_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030292379","9783030292386"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-29238-6_24","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":"8 August 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"QUATIC","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on the Quality of Information and Communications Technology","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ciudad Real","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Spain","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":"11 September 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"13 September 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"12","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"quatic2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/2019.quatic.org","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Double-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":"66","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":"19","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":"6","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":"29% - 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":"1-2","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)"}}]}}