{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,28]],"date-time":"2025-10-28T03:16:53Z","timestamp":1761621413518,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":17,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,10,26]],"date-time":"2018-10-26T00:00:00Z","timestamp":1540512000000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100001871","name":"Funda\u00e7\u00e3o para a Ci\u00eancia e a Tecnologia","doi-asserted-by":"publisher","award":["SFRH\/BD\/115358\/2016"],"award-info":[{"award-number":["SFRH\/BD\/115358\/2016"]}],"id":[{"id":"10.13039\/501100001871","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,10,26]]},"DOI":"10.1145\/3236024.3275431","type":"proceedings-article","created":{"date-parts":[[2018,10,29]],"date-time":"2018-10-29T12:06:00Z","timestamp":1540814760000},"page":"956-958","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Automated scenario-based integration testing of distributed systems"],"prefix":"10.1145","author":[{"given":"Bruno","family":"Lima","sequence":"first","affiliation":[{"name":"University of Porto, Portugal \/ INESC TEC, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2018,10,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.3176\/proc.2017.1.08"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353673.1353681"},{"key":"e_1_3_2_1_3_1","unstructured":"John Fitzgerald Peter Gorm Larsen Paul Mukherjee Nico Plat and Marcel Verhoef. 2005. Validated Designs For Object-oriented Systems. Springer-Verlag TELOS Santa Clara CA USA.   John Fitzgerald Peter Gorm Larsen Paul Mukherjee Nico Plat and Marcel Verhoef. 2005. Validated Designs For Object-oriented Systems. Springer-Verlag TELOS Santa Clara CA USA."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/11940197_1"},{"key":"e_1_3_2_1_5_1","unstructured":"Hans-Gerhard Gross. 2005. Component-Based Software Testing with UML. Springer Berlin Heidelberg.   Hans-Gerhard Gross. 2005. Component-Based Software Testing with UML. Springer Berlin Heidelberg."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1007\/s00446-011-0153-5"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2661296"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1002\/spe.1062"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1668862.1668864"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5220\/0006474004590466"},{"volume-title":"Software Technologies: 10th International Joint Conference, ICSOFT 2015","year":"2016","author":"Lima Bruno","key":"e_1_3_2_1_12_1"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"crossref","unstructured":"B. M. C. Lima and J. C. P. Faria. 2017. Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems. In 2017 IEEE International Conference on Software Testing Verification and Validation Workshops (ICSTW). 356\u2013365.  B. M. C. Lima and J. C. P. Faria. 2017. Towards Decentralized Conformance Checking in Model-Based Testing of Distributed Systems. In 2017 IEEE International Conference on Software Testing Verification and Validation Workshops (ICSTW). 356\u2013365.","DOI":"10.1109\/ICSTW.2017.64"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/1025115.1025255"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2005.104"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1109\/ECBS.2007.73"},{"volume-title":"Testing of Communicating Systems, Gyula Csopaki, Sarolta Dibuz, and Katalin Tarnay (Eds.). IFIP - The International Federation for Information Processing","author":"Ulrich Andreas","key":"e_1_3_2_1_18_1"},{"key":"e_1_3_2_1_19_1","unstructured":"Mark Utting and Bruno Legeard. 2007. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc. San Francisco CA USA.   Mark Utting and Bruno Legeard. 2007. Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc. San Francisco CA USA."}],"event":{"name":"ESEC\/FSE '18: 26th ACM Joint European Software Engineering Conference and Symposium on the Foundations of Software Engineering","sponsor":["SIGSOFT ACM Special Interest Group on Software Engineering"],"location":"Lake Buena Vista FL USA","acronym":"ESEC\/FSE '18"},"container-title":["Proceedings of the 2018 26th ACM Joint Meeting on European Software Engineering Conference and Symposium on the Foundations of Software Engineering"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3275431","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3236024.3275431","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T00:43:40Z","timestamp":1750207420000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3236024.3275431"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,10,26]]},"references-count":17,"alternative-id":["10.1145\/3236024.3275431","10.1145\/3236024"],"URL":"https:\/\/doi.org\/10.1145\/3236024.3275431","relation":{},"subject":[],"published":{"date-parts":[[2018,10,26]]},"assertion":[{"value":"2018-10-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}