{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,9]],"date-time":"2025-12-09T08:16:04Z","timestamp":1765268164718,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":28,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642314902"},{"type":"electronic","value":"9783642314919"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2012]]},"DOI":"10.1007\/978-3-642-31491-9_8","type":"book-chapter","created":{"date-parts":[[2012,6,21]],"date-time":"2012-06-21T21:28:19Z","timestamp":1340314099000},"page":"74-89","source":"Crossref","is-referenced-by-count":9,"title":["Combining UML Sequence and State Machine Diagrams for Data-Flow Based Integration Testing"],"prefix":"10.1007","author":[{"given":"Lionel","family":"Briand","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Yanhua","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"8_CR1","unstructured":"Pender, T.: UML Bible. Wiley (2003)"},{"key":"8_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"383","DOI":"10.1007\/3-540-40011-7_28","volume-title":"UML 2000 - The Unified Modeling Language. Advancing the Standard","author":"A. Abdurazik","year":"2000","unstructured":"Abdurazik, A., Offutt, J.: Using UML Collaboration Diagrams for Static Checking and Test Generation. In: Evans, A., Caskurlu, B., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 383\u2013395. Springer, Heidelberg (2000)"},{"issue":"11-12","key":"8_CR3","first-page":"1087","volume":"49","author":"S. Ali","year":"2007","unstructured":"Ali, S., Briand, L.C., Rehman, M.J., Asghar, H., Zafar, Z., Nadeem, A.: A State-based Approach to Integration Testing based on UML Models. IST\u00a049(11-12), 1087\u20131106 (2007)","journal-title":"IST"},{"issue":"3","key":"8_CR4","first-page":"177","volume":"20","author":"L.C. Briand","year":"2010","unstructured":"Briand, L.C., Labiche, Y., Lin, Q.: Improving the Coverage Criteria of UML State Machines Using Data Flow Analysis. STVR\u00a020(3), 177\u2013207 (2010)","journal-title":"STVR"},{"issue":"4","key":"8_CR5","first-page":"215","volume":"16","author":"L. Gallagher","year":"2006","unstructured":"Gallagher, L., Offutt, A.J., Cincotta, A.: Integration testing of object-oriented components using finite state machines. STVR\u00a016(4), 215\u2013266 (2006)","journal-title":"STVR"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Pelliccione, P., Muccini, H., Bucchiarone, A., Facchini, F.: TeStor: Deriving Test Sequences from Model-based Specifications. In: ACM CBSE, pp. 267\u2013282 (2005)","DOI":"10.1007\/11424529_18"},{"key":"8_CR7","doi-asserted-by":"crossref","unstructured":"Bandyopadhyay, A., Ghosh, S.: Test input generation using UML sequence and state machines models. In: IEEE ICST, pp. 121\u2013130 (2009)","DOI":"10.1109\/ICST.2009.23"},{"key":"8_CR8","doi-asserted-by":"crossref","unstructured":"Kansomkeat, S., Offutt, J., Abdurazik, A., Baldini, A.: A comparative evaluation of tests generated from different UML diagrams. In: ACIS SNPD, pp. 867\u2013872 (2008)","DOI":"10.1109\/SNPD.2008.48"},{"key":"8_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"251","DOI":"10.1007\/3-540-36465-X_24","volume-title":"COTS-Based Software Systems","author":"Y. Wu","year":"2003","unstructured":"Wu, Y., Chen, M.-H., Offutt, A.J.: UML-Based Integration Testing for Component-Based Software. In: Erdogmus, H., Weng, T. (eds.) ICCBSS 2003. LNCS, vol.\u00a02580, pp. 251\u2013260. Springer, Heidelberg (2003)"},{"issue":"4","key":"8_CR10","doi-asserted-by":"publisher","first-page":"422","DOI":"10.1504\/IJAOSE.2008.020139","volume":"2","author":"F. Mokhati","year":"2008","unstructured":"Mokhati, F., Badri, M., Badri, L., Hamidane, F., Bouazdia, S.: \u201cAutomated testing sequences generation from AUML diagrams: a formal verification of agents\u2019 interaction protocols\u201d. IJAOSE\u00a02(4), 422\u2013448 (2008)","journal-title":"IJAOSE"},{"issue":"4","key":"8_CR11","first-page":"252","volume":"33","author":"S. Pickin","year":"2007","unstructured":"Pickin, S., Jard, C., Jeron, T., Jezequel, J.-M., Le Traon, Y.: Test synthesis from UML models of distributed software. IEEE TSE\u00a033(4), 252\u2013268 (2007)","journal-title":"IEEE TSE"},{"issue":"2","key":"8_CR12","first-page":"418","volume":"51","author":"M. Sarma","year":"2009","unstructured":"Sarma, M., Mall, R.: Automatic generation of test specifications for coverage of system state transitions. IST\u00a051(2), 418\u2013432 (2009)","journal-title":"IST"},{"key":"8_CR13","unstructured":"Wu, C.-S., Chang, W.-C., Kim, S., Huang, C.-H.: Generating State-based Polymorphic Interaction Graph from UML Diagrams for Object Oriented Testing. In: IAENG IMECS, pp. 726\u2013731 (2011)"},{"issue":"2","key":"8_CR14","first-page":"119","volume":"38","author":"D. Barisas","year":"2009","unstructured":"Barisas, D., Barei\u0161a, E.: A Software Testing Approach Based on Behavioral UML Models. ITC\u00a038(2), 119\u2013124 (2009)","journal-title":"ITC"},{"issue":"5","key":"8_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.5381\/jot.2010.9.5.a1","volume":"9","author":"S.K. Swain","year":"2010","unstructured":"Swain, S.K., Mohapatra, D.P., Mall, R.: Test Case Generation Based on State and Activity Models. JOT\u00a09(5), 1\u201327 (2010)","journal-title":"JOT"},{"key":"8_CR16","unstructured":"Sokenou, D.: Generating Test Sequences from UML Sequence Diagrams and State Diagrams. In: GI Jahrestagung, pp. 236\u2013240 (2006)"},{"key":"8_CR17","doi-asserted-by":"crossref","unstructured":"Garousi, V., Briand, L.C., Labiche, Y.: Control Flow Analysis of UML 2.0 Sequence Diagrams. In: ECMFA, pp. 160\u2013174 (2005)","DOI":"10.1007\/11581741_13"},{"key":"8_CR18","doi-asserted-by":"crossref","unstructured":"Ledru, Y., du Bousquet, L., Bontron, P., Maury, O., Oriat, C., Potet, M.-L.: Test Purposes: Adapting the Notion of Specification to Testing. In: IEEE ASE, pp. 127\u2013134 (2001)","DOI":"10.1109\/ASE.2001.989798"},{"key":"8_CR19","doi-asserted-by":"crossref","unstructured":"Li, L., Zhongsheng, Q., He, T.: Test purpose-based test generation for Web applications. In: IEEE NDT, pp. 238\u2013243 (2009)","DOI":"10.1109\/NDT.2009.5272184"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"En-Nouaary, A., Liu, G.: Timed test cases generation based on test purposes expressed as message sequence charts. In: IEEE ICTTA, pp. 585\u2013586 (2004)","DOI":"10.1109\/ICTTA.2004.1307898"},{"key":"8_CR21","doi-asserted-by":"crossref","unstructured":"Zeng, Y., Chen, L.-P., Chai, Y.-X., Zhou, X.: UML-based approach to generate polymorphic testing sequence and its implementation. In: WRI WCSE, pp. 251\u2013255 (2009)","DOI":"10.1109\/WCSE.2009.334"},{"key":"8_CR22","doi-asserted-by":"crossref","unstructured":"Hartmann, J., Imoberdorf, C., Meisinger, M.: UML-Based Integration Testing. In: ACM ISSTA, pp. 60\u201370 (2000)","DOI":"10.1145\/347636.348872"},{"key":"8_CR23","unstructured":"OMG, UML 2.0 Superstructure Specification, Object Management Group, Final Adopted Specification ptc\/03-08-02 (2003)"},{"key":"8_CR24","unstructured":"Liu, Y.: Combining UML 2.0 sequence and state machine diagrams for control- and data-flow based integration testing, M.A.Sc. thesis, Carleton University (2009)"},{"issue":"3","key":"8_CR25","first-page":"133","volume":"8","author":"Z. Jin","year":"1998","unstructured":"Jin, Z., Offutt, A.J.: Coupling-based Criteria for Integration Testing. STVR\u00a08(3), 133\u2013154 (1998)","journal-title":"STVR"},{"key":"8_CR26","doi-asserted-by":"crossref","unstructured":"Briand, L.C., Labiche, Y., Wang, Y.: A comprehensive and systematic methodology for client-server class integration testing. In: IEEE ISSRE, pp. 14\u201325 (2003)","DOI":"10.1109\/ISSRE.2003.1251027"},{"key":"8_CR27","doi-asserted-by":"crossref","unstructured":"Ali, S., Iqbal, M.Z., Arcuri, A., Briand, L.C.: A Search-based OCL Constraint Solver for Model-based Test Data Generation. In: IEEE QSIC (2011)","DOI":"10.1109\/QSIC.2011.17"},{"issue":"8","key":"8_CR28","first-page":"608","volume":"32","author":"J.H. Andrews","year":"2006","unstructured":"Andrews, J.H., Briand, L.C., Labiche, Y., Namin, A.S.: Using Mutation Analysis for Assessing and Comparing Testing Coverage Criteria. IEEE TSE\u00a032(8), 608\u2013624 (2006)","journal-title":"IEEE TSE"}],"container-title":["Lecture Notes in Computer Science","Modelling Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-31491-9_8.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,2]],"date-time":"2025-04-02T10:25:51Z","timestamp":1743589551000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-31491-9_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012]]},"ISBN":["9783642314902","9783642314919"],"references-count":28,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-31491-9_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2012]]}}}