{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T02:44:52Z","timestamp":1742957092788,"version":"3.40.3"},"publisher-location":"Cham","reference-count":28,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319301419"},{"type":"electronic","value":"9783319301426"}],"license":[{"start":{"date-parts":[[2016,1,1]],"date-time":"2016-01-01T00:00:00Z","timestamp":1451606400000},"content-version":"unspecified","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":[[2016]]},"DOI":"10.1007\/978-3-319-30142-6_21","type":"book-chapter","created":{"date-parts":[[2016,2,24]],"date-time":"2016-02-24T11:36:41Z","timestamp":1456313801000},"page":"380-396","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Automated Testing of Distributed and Heterogeneous Systems Based on UML Sequence Diagrams"],"prefix":"10.1007","author":[{"given":"Bruno","family":"Lima","sequence":"first","affiliation":[]},{"given":"Jo\u00e3o Pascoal","family":"Faria","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2016,2,25]]},"reference":[{"key":"21_CR1","unstructured":"AAL4ALL: Ambient Assisted Living For All (2015). http:\/\/www.aal4all.org"},{"key":"21_CR2","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, Heidelberg (2011). http:\/\/dx.doi.org\/10.1007\/978-3-642-15187-3_1"},{"issue":"4","key":"21_CR3","doi-asserted-by":"publisher","first-page":"434","DOI":"10.1145\/2043164.2018507","volume":"41","author":"M Canini","year":"2011","unstructured":"Canini, M., Jovanovi\u0107, V., Venzano, D., Novakovi\u0107, D., Kosti\u0107, D.: Online testing of federated and heterogeneous distributed systems. SIGCOMM Comput. Commun. Rev. 41(4), 434\u2013435 (2011). http:\/\/doi.acm.org\/10.1145\/2043164.2018507","journal-title":"SIGCOMM Comput. Commun. Rev."},{"key":"21_CR4","unstructured":"Dias Neto, A.C., Subramanyan, R., Vieira, M., Travassos, G.H.: A survey on model-based testing approaches: a systematic review. In: Proceedings of the 1st ACM International Workshop on Empirical Assessment of Software Engineering Languages and Technologies: Held in Conjunction with the 22nd IEEE\/ACM International Conference on Automated Software Engineering (ASE) 2007, WEASELTech 2007, pp. 31\u201336. ACM, New York (2007). http:\/\/doi.acm.org\/10.1145\/1353673.1353681"},{"key":"21_CR5","unstructured":"DoD: Systems Engineering Guide for Systems of Systems. Technical report, Office of the Deputy Under Secretary of Defense for Acquisition and Technology, Systems and Software Engineering Version 1.0 (2008)"},{"issue":"4","key":"21_CR6","doi-asserted-by":"publisher","first-page":"90","DOI":"10.4018\/ijehmc.2014100106","volume":"5","author":"JP Faria","year":"2014","unstructured":"Faria, J.P., Lima, B., Sousa, T.B., Martins, A.: A testing and certification methodology for an open ambient-assisted living ecosystem. Int. J. E-Health Med. Commun. (IJEHMC) 5(4), 90\u2013107 (2014)","journal-title":"Int. J. E-Health Med. Commun. (IJEHMC)"},{"key":"21_CR7","unstructured":"Faria, J.: A toolset for conformance testing against UML sequence diagrams (2014). https:\/\/blogs.fe.up.pt\/sdbt\/"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Faria, J., Paiva, A.: A toolset for conformance testing against UML sequence diagrams based on event-driven colored Petri nets. Int. J. Softw. Tools Technol. Transf., pp. 1\u201320 (2014). http:\/\/dx.doi.org\/10.1007\/s10009-014-0354-x","DOI":"10.1007\/s10009-014-0354-x"},{"key":"21_CR9","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"E Gamma","year":"1994","unstructured":"Gamma, E., Helm, R., Johnson, R., Vlissides, J.: Design Patterns: Elements of Reusable Object-Oriented Software. Pearson Education, Upper Saddle River (1994)"},{"key":"21_CR10","volume-title":"Component-Based Software Testing with UML","author":"HG Gross","year":"2005","unstructured":"Gross, H.G.: Component-Based Software Testing with UML. Springer, Heidelberg (2005)"},{"issue":"1","key":"21_CR11","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). http:\/\/doi.acm.org\/10.1145\/2661296","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"10","key":"21_CR12","doi-asserted-by":"crossref","first-page":"999","DOI":"10.1002\/spe.1062","volume":"41","author":"RM Hierons","year":"2011","unstructured":"Hierons, R.M., Merayo, M.G., N\u00fa\u00f1ez, M.: Scenarios-based testing of systems with distributed ports. Softw. Pract. Experience 41(10), 999\u20131026 (2011). http:\/\/dx.doi.org\/10.1002\/spe.1062","journal-title":"Softw. Pract. Experience"},{"key":"21_CR13","unstructured":"IBM: IBM $$\\textregistered $$ Rational $$\\textregistered $$ Rhapsody $$\\textregistered $$ Automatic Test Conductor Add On User Guide, v2.5.2 (2013)"},{"key":"21_CR14","unstructured":"Javed, A., Strooper, P., Watson, G.: Automated generation of test cases using model-driven architecture. In: Second International Workshop on Automation of Software Test, 2007, AST 2007, p. 3, May 2007"},{"issue":"3\u20134","key":"21_CR15","doi-asserted-by":"publisher","first-page":"213","DOI":"10.1007\/s10009-007-0038-x","volume":"9","author":"K Jensen","year":"2007","unstructured":"Jensen, K., Kristensen, L., Wells, L.: Coloured Petri Nets and CPN tools for modelling and validation of concurrent systems. Int. J. Softw. Tools Technol. Transf. 9(3\u20134), 213\u2013254 (2007). http:\/\/dx.doi.org\/10.1007\/s10009-007-0038-x","journal-title":"Int. J. Softw. Tools Technol. Transf."},{"key":"21_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"220","DOI":"10.1007\/BFb0053381","volume-title":"ECOOP \u201997 - Object-Oriented Programming","author":"G Kiczales","year":"1997","unstructured":"Kiczales, G., Lamping, J., Mendhekar, A., Maeda, C., Lopes, C., Loingtier, J.M., Irwin, J.: Aspect-oriented programming. In: Ak\u015fit, M., Matsuoka, S. (eds.) ECOOP 1997. LNCS, vol. 1241, pp. 220\u2013242. Springer, Heidelberg (1997). http:\/\/dx.doi.org\/10.1007\/BFb0053381"},{"key":"21_CR17","unstructured":"Liu, X., Guo, Z., Wang, X., Chen, F., Lian, X., Tang, J., Wu, M., Kaashoek, M.F., Zhang, Z.: D3S: debugging deployed distributed systems. In: NSDI, vol. 8, pp. 423\u2013437 (2008)"},{"key":"21_CR18","unstructured":"Moreira, R.M., Paiva, A.C.: PBGT tool: an integrated modeling and testing environment for pattern-based GUI testing. In: Proceedings of the 29th ACM\/IEEE International Conference on Automated Software Engineering, ASE 2014, pp. 863\u2013866. ACM, New York (2014). http:\/\/doi.acm.org\/10.1145\/2642937.2648618"},{"key":"21_CR19","unstructured":"OMG: OMG Unified Modeling LanguageTM (OMG UML), Superstructure. Technical report, Object Management Group (2011)"},{"key":"21_CR20","unstructured":"STAF: Software Testing Automation Framework (STAF) (2014). http:\/\/staf.sourceforge.net\/"},{"key":"21_CR21","unstructured":"Tassey, G.: The Economic Impacts of Inadequate Infrastructure for Software Testing. Technical report, National Institute of Standards and Technology (2002)"},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"Torens, C., Ebrecht, L.: RemoteTest: a framework for testing distributed systems. In: 2010 Fifth International Conference on Software Engineering Advances (ICSEA), pp. 441\u2013446 August 2010","DOI":"10.1109\/ICSEA.2010.75"},{"key":"21_CR23","series-title":"IFIP \u2013 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. IFIP \u2013 The International Federation for Information Processing, vol. 21, pp. 93\u2013108. Springer, US (1999). http:\/\/dx.doi.org\/10.1007\/978-0-387-35567-2_7"},{"key":"21_CR24","volume-title":"Practical Model-Based Testing: A Tools Approach","author":"M Utting","year":"2007","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing: A Tools Approach. Morgan Kaufmann Publishers Inc., San Francisco (2007)"},{"issue":"5","key":"21_CR25","doi-asserted-by":"publisher","first-page":"297","DOI":"10.1002\/stvr.456","volume":"22","author":"M Utting","year":"2012","unstructured":"Utting, M., Pretschner, A., Legeard, B.: A taxonomy of model-based testing approaches. Softw. Test. Verification Reliab. 22(5), 297\u2013312 (2012). http:\/\/dx.doi.org\/10.1002\/stvr.456","journal-title":"Softw. Test. Verification Reliab."},{"key":"21_CR26","volume-title":"Model-Driven Software Development: Technology, Engineering, Management","author":"M V\u00f6lter","year":"2013","unstructured":"V\u00f6lter, M., Stahl, T., Bettin, J., Haase, A., Helsen, S.: Model-Driven Software Development: Technology, Engineering, Management. Wiley, Chichester (2013)"},{"key":"21_CR27","unstructured":"Wittevrongel, J., Maurer, F.: SCENTOR: scenario-based testing of e-business applications. In: Proceedings of the Tenth IEEE International Workshops on Enabling Technologies: Infrastructure for Collaborative Enterprises, 2001, WET ICE 2001, pp. 41\u201346 (2001)"},{"key":"21_CR28","unstructured":"Zhang, F., Qi, Z., Guan, H., Liu, X., Yang, M., Zhang, Z.: FiLM: a runtime monitoring tool for distributed systems. In: Third IEEE International Conference on Secure Software Integration and Reliability Improvement, 2009, SSIRI 2009, pp. 40\u201346, July 2009"}],"container-title":["Communications in Computer and Information Science","Software Technologies"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-30142-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,14]],"date-time":"2024-06-14T15:36:01Z","timestamp":1718379361000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-30142-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016]]},"ISBN":["9783319301419","9783319301426"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-30142-6_21","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2016]]},"assertion":[{"value":"25 February 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}