{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T13:18:57Z","timestamp":1725715137491},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642367564"},{"type":"electronic","value":"9783642367571"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-36757-1_2","type":"book-chapter","created":{"date-parts":[[2013,2,7]],"date-time":"2013-02-07T00:07:21Z","timestamp":1360195641000},"page":"16-33","source":"Crossref","is-referenced-by-count":3,"title":["Identification and Selection of Interaction Test Scenarios for Integration Testing"],"prefix":"10.1007","author":[{"given":"Mohamed","family":"Mussa","sequence":"first","affiliation":[]},{"given":"Ferhat","family":"Khendek","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"2_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1109\/MC.2006.58","volume":"39","author":"D.C. Schmidt","year":"2006","unstructured":"Schmidt, D.C.: Guest Editor\u2019s Introduction \u2013 Model-Driven Engineering. Computer\u00a039, 25\u201331 (2006)","journal-title":"Computer"},{"key":"2_CR2","unstructured":"Utting, M., Legeard, B.: Practical Model-Based Testing \u2013 A Tools Approach. Morgan Kaufmann Publishers (2007)"},{"key":"2_CR3","unstructured":"Object Management Group (OMG): Unified modeling language, http:\/\/www.uml.org\/"},{"key":"2_CR4","doi-asserted-by":"crossref","unstructured":"Bouquet, F., Grandpierre, C., Legeard, B., Peureux, F., Vacelet, N., Utting, M.: A subset of precise UML for model-based testing. In: A-MOST 2007 Proceedings of the 3rd International Workshop on Advances in Model-Based Testing, pp. 95\u2013104. ACM Press (2007)","DOI":"10.1145\/1291535.1291545"},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Javed, A.Z., Strooper, P.A., Watson, G.N.: Automated generation of test cases using model-driven architecture. In: AST 2007: Proceedings of the Second International Workshop on Automation of Software Test, p. 3. IEEE Computer Society (2007)","DOI":"10.1109\/AST.2007.2"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Yuan, Q., Wu, J., Liu, C., Zhang, L.: A model driven approach toward business process test case generation. In: 10th International Symposium on Web Site Evolution WSE 2008, pp. 41\u201344. IEEE Conference Publications (2008)","DOI":"10.1109\/WSE.2008.4655394"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Cartaxo, E.G., Andrade, W.L., Neto, F.G.O., Machado, P.D.L.: LTS-BT \u2013 A tool to generate and select functional test cases for embedded systems. In: SAC 2008: Proceedings of the 2008 ACM Symposium on Applied Computing, pp. 1540\u20131544. ACM Press (2008)","DOI":"10.1145\/1363686.1364045"},{"key":"2_CR8","unstructured":"Pietsch, S., Stanca-Kaposta, B.: Model-based testing with UTP and TTCN-3 and its application to HL7. Testing Technologies IST GmbH (2008), http:\/\/www.testingtech.com\/download\/publications\/ModelBasedTesting_Conquest08.pdf"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"S\u00fc\u00df, J.G., Pop, A., Fritzson, P., Wildman, L.: Towards integrated model-driven testing of SCADA systems using the eclipse modeling framework and modelica. In: ASWEC 2008: Proceedings of the 19th Australian Conference on Software Engineering, pp. 149\u2013159. IEEE Computer Society (2008)","DOI":"10.1109\/ASWEC.2008.4483203"},{"key":"2_CR10","unstructured":"Object Management Group (OMG): UML testing profile (UTP) version 1.0 (formal\/05-07-07) (2005), http:\/\/www.omg.org\/spec\/UTP\/1.0\/"},{"key":"2_CR11","doi-asserted-by":"crossref","unstructured":"Liang, D., Xu, K.: Test-driven component integration with UML 2.0 testing and monitoring profile. In: QSIC 2007: Proceedings of the Seventh International Conference on Quality Software, pp. 32\u201339. IEEE Computer Society (2007)","DOI":"10.1109\/QSIC.2007.4385478"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Lamancha, B.P., Mateo, P.R., de Guzm\u00e1n, I.R., Usaola, M.P., Velthius, M.P.: Automated model-based testing using the UML testing profile and QVT. In: MoDeVVa 2009 \u2013 Proceedings of the 6th International Workshop on Model-Driven Engineering, Verification and Validation, pp. 6:1\u20136:10. ACM Press (2009)","DOI":"10.1145\/1656485.1656491"},{"key":"2_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-642-25264-8_10","volume-title":"SDL 2011: Integrating System and Software Modeling","author":"M. Mussa","year":"2011","unstructured":"Mussa, M., Khendek, F.: Towards a Model Based Approach for Integration Testing. In: Ober, I., Ober, I. (eds.) SDL 2011. LNCS, vol.\u00a07083, pp. 106\u2013121. Springer, Heidelberg (2011)"},{"key":"2_CR14","doi-asserted-by":"crossref","unstructured":"Bertolino, A.: Software testing research \u2013 Achievements, challenges, dreams. In: FOSE 2007: 2007 Future of Software Engineering, pp. 85\u2013103. IEEE Computer Society (2007)","DOI":"10.1109\/FOSE.2007.25"},{"key":"2_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"98","DOI":"10.1007\/978-3-540-70930-5_7","volume-title":"Model-Driven Development of Reliable Automotive Services","author":"J. Grossmann","year":"2008","unstructured":"Grossmann, J., Fey, I., Krupp, A., Conrad, M., Wewetzer, C., Mueller, W.: TestML - A Test Exchange Language for Model-Based Testing of Embedded Software. In: Broy, M., Kr\u00fcger, I.H., Meisinger, M. (eds.) ASWSD 2006. LNCS, vol.\u00a04922, pp. 98\u2013117. Springer, Heidelberg (2008)"},{"key":"2_CR16","unstructured":"The Eclipse Foundation: ATL - a model transformation technology (2012), http:\/\/www.eclipse.org\/atl\/"},{"key":"2_CR17","doi-asserted-by":"publisher","first-page":"189","DOI":"10.1002\/stvr.301","volume":"14","author":"K. Bogdanov","year":"2004","unstructured":"Bogdanov, K., Holcombe, M.: Refinement in Statechart Testing. Software Testing Verification and Reliability\u00a014, 189\u2013211 (2004)","journal-title":"Software Testing Verification and Reliability"},{"key":"2_CR18","doi-asserted-by":"crossref","unstructured":"Machado, P.D.L., Figueiredo, J.C.A., Lima, E.F.A., Barbosa, A.E.V., Lima, H.S.: Component-based integration testing from UML interaction diagrams. In: IEEE International Conference on Systems, Man and Cybernetics (ISIC), pp. 2679\u20132686. IEEE Conference Publications (2007)","DOI":"10.1109\/ICSMC.2007.4414070"},{"key":"2_CR19","unstructured":"Object Management Group (OMG): OMG object constraint language (OCL), version 2.2 (formal\/2010-02-01) (2010), http:\/\/www.omg.org\/spec\/OCL\/2.2"},{"key":"2_CR20","doi-asserted-by":"crossref","unstructured":"Le, H.: A collaboration-based testing model for composite components. In: 2nd International Conference on Software Engineering and Service Science (ICSESS), pp. 610\u2013613. IEEE Conference Publications (2011)","DOI":"10.1109\/ICSESS.2011.5982397"}],"container-title":["Lecture Notes in Computer Science","System Analysis and Modeling: Theory and Practice"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-36757-1_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,7,9]],"date-time":"2019-07-09T06:48:02Z","timestamp":1562654882000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-36757-1_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642367564","9783642367571"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-36757-1_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}