{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,19]],"date-time":"2025-03-19T15:12:46Z","timestamp":1742397166795},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540300267"},{"type":"electronic","value":"9783540320937"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2005]]},"DOI":"10.1007\/11581741_13","type":"book-chapter","created":{"date-parts":[[2005,10,25]],"date-time":"2005-10-25T14:06:33Z","timestamp":1130249193000},"page":"160-174","source":"Crossref","is-referenced-by-count":41,"title":["Control Flow Analysis of UML 2.0 Sequence Diagrams"],"prefix":"10.1007","author":[{"given":"Vahid","family":"Garousi","sequence":"first","affiliation":[]},{"given":"Lionel C.","family":"Briand","sequence":"additional","affiliation":[]},{"given":"Yvan","family":"Labiche","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"13_CR1","volume-title":"Advanced Compiler Design and Implementation","author":"S. Muchnick","year":"1997","unstructured":"Muchnick, S.: Advanced Compiler Design and Implementation, 1st edn. Morgan Kaufmann, San Francisco (1997)","edition":"1"},{"issue":"5","key":"13_CR2","doi-asserted-by":"publisher","first-page":"509","DOI":"10.1109\/TSE.1987.233196","volume":"13","author":"A.T. Chusho","year":"1987","unstructured":"Chusho, A.T.: Test data selection and quality estimation based on the concept of essential branches for path testing. IEEE Tran. on Soft. Eng.\u00a013(5), 509\u2013517 (1987)","journal-title":"IEEE Tran. on Soft. Eng."},{"issue":"12","key":"13_CR3","doi-asserted-by":"publisher","first-page":"885","DOI":"10.1109\/32.368137","volume":"20","author":"A. Bertolino","year":"1994","unstructured":"Bertolino, A., Marre, M.: Automatic Generation of Path Covers Based on the Control Flow Analysis of Computer Programs. IEEE Tran. on Soft. Eng.\u00a020(12), 885\u2013899 (1994)","journal-title":"IEEE Tran. on Soft. Eng."},{"key":"13_CR4","unstructured":"Rapps, S., Weyuker, E.J.: Data flow analysis techniques for test data selection. In: Proc. Int. Conf. on Soft. Eng., pp. 272\u2013278 (1982)"},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Harrold, M., Soffa, M.: Interprocedual data flow testing. In: Proc. Symp. on Soft. Testing, Analysis, and Verification, pp. 158\u2013167 (1989)","DOI":"10.1145\/75308.75327"},{"key":"13_CR6","unstructured":"Marick, B.: Experience With the Cost of Different Coverage Goals For Testing. In: Proc. Pacific Northwest Soft. Quality Conf., pp. 147\u2013164 (1991)"},{"issue":"3","key":"13_CR7","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1002\/(SICI)1099-1689(1998090)8:3<133::AID-STVR162>3.0.CO;2-M","volume":"8","author":"Z. Jin","year":"1998","unstructured":"Jin, Z., Offutt, J.: Coupling-based Criteria for Integration Testing. Soft. Testing, Verification, and Reliability\u00a08(3), 133\u2013154 (1998)","journal-title":"Soft. Testing, Verification, and Reliability"},{"key":"13_CR8","unstructured":"OMG, Unified Modeling Language Specification (v1.3) (1999)"},{"key":"13_CR9","unstructured":"OMG, Unified Modeling Language Specification (v1.5) (2003)"},{"key":"13_CR10","unstructured":"OMG, UML 2.0 Superstructure Final Adopted specification (2003)"},{"key":"13_CR11","unstructured":"Okazaki, M., Aoki, T., Katayama, T.: Formalizing sequence diagrams and state machines using Concurrent Regular Expression. In: Proc. Int. Workshop on Scenarios and State Machines: Models, Algorithms, and Tools, pp. 74\u201379 (2003)"},{"key":"13_CR12","doi-asserted-by":"crossref","unstructured":"Rountev, A., Kagan, S., Sawin, J.: Coverage Criteria for Testing of Object Interactions in Sequence Diagrams. In: Proc. Conf. Fundamental Approaches to Soft. Eng., pp. 289\u2013304 (2005)","DOI":"10.1007\/978-3-540-31984-9_22"},{"key":"13_CR13","doi-asserted-by":"crossref","unstructured":"Bernardi, S., Donatelli, S., Merseguer, J.: From UML sequence diagrams and statecharts to analyzable Petri-net Models. In: Proc. Int. Workshop on Soft. and Performance, pp. 35\u201345 (2002)","DOI":"10.1145\/584369.584376"},{"key":"13_CR14","doi-asserted-by":"crossref","unstructured":"Cardoso, J., Sibertin-Blanc, C.: Ordering actions in sequence diagrams of UML. In: Proc. Int. Conf. on Information Technology Interfaces, pp. 3\u201314 (2001)","DOI":"10.1109\/ITI.2001.937990"},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Burd, E., Overy, D., Wheetman, A.: Evaluating Using Animation to Improve Understanding of Sequence Diagrams. In: Proc. Int. Workshop on Program Comprehension, pp. 7\u2013113 (2002)","DOI":"10.1109\/WPC.2002.1021329"},{"key":"13_CR16","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, 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)"},{"key":"13_CR17","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., Kent, S., Selic, B. (eds.) UML 2000. LNCS, vol.\u00a01939, pp. 383\u2013395. Springer, Heidelberg (2000)"},{"key":"13_CR18","doi-asserted-by":"crossref","unstructured":"Fraikin, F., Leonhardt, T.: SeDiTeC-testing based on sequence diagrams. In: Proc. Int. Conf. on Automated Soft. Eng., pp. 261\u2013266 (2002)","DOI":"10.1109\/ASE.2002.1115026"},{"key":"13_CR19","volume-title":"MDA Explained: The Model Driven Architecture-Practice and Promise","year":"2003","unstructured":"Kleppe, A., Warmer, J., Bast, W. (eds.): MDA Explained: The Model Driven Architecture-Practice and Promise, 1st edn. Addison-Wesley, Reading (2003)","edition":"1"},{"issue":"2","key":"13_CR20","doi-asserted-by":"publisher","first-page":"285","DOI":"10.1016\/0304-3975(92)90339-H","volume":"96","author":"V.K. Garg","year":"1992","unstructured":"Garg, V.K., Ragunath, M.T.: Concurrent regular expressions and their relationship to Petri nets. Theoretical Computer Science\u00a096(2), 285\u2013304 (1992)","journal-title":"Theoretical Computer Science"},{"key":"13_CR21","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"133","DOI":"10.1007\/3-540-61363-3_8","volume-title":"Application and Theory of Petri Nets 1996","author":"S. Donatelli","year":"1996","unstructured":"Donatelli, S., Franceschinis, G.: PSR Methodology: integrating hardware and software models. In: Billington, J., Reisig, W. (eds.) ICATPN 1996. LNCS, vol.\u00a01091, pp. 133\u2013152. Springer, Heidelberg (1996)"},{"key":"13_CR22","doi-asserted-by":"crossref","unstructured":"Garousi, V., Briand, L., Labiche, Y.: Control Flow Analysis of UML 2.0 Sequence Diagrams, Technical Report SCE-05-09, Carleton University (2005), http:\/\/www.sce.carleton.ca\/squall\/pubs\/tech_report\/TR_SCE-05-09.pdf","DOI":"10.1007\/11581741_13"},{"key":"13_CR23","doi-asserted-by":"crossref","unstructured":"Long, D.L., Clarke, L.A.: Task interaction graphs for concurrency analysis. In: Proc. Int. Conf. on Soft. Eng., pp. 44\u201352 (1989)","DOI":"10.1145\/74587.74592"},{"key":"13_CR24","doi-asserted-by":"crossref","unstructured":"Chamillard, A.T., Clarke, L.A.: Improving the accuracy of Petri net-based analysis of concurrent programs. In: Proc. Int. Symp. on Soft. testing and analysis, pp. 24\u201338 (1996)","DOI":"10.1145\/229000.226299"},{"key":"13_CR25","doi-asserted-by":"crossref","unstructured":"Kr\u00fcger, I., Grosu, R., Scholz, P., Broy, M.: From MSCs to Statecharts. In: Proc. Int. Workshop on Distributed and parallel Embedded Systems, pp. 61\u201371 (1999)","DOI":"10.1007\/978-0-387-35570-2_5"},{"key":"13_CR26","doi-asserted-by":"crossref","unstructured":"Nielson, H.R., Nielson, F.: Infinitary Control Flow Analysis: a Collecting Semantics for Closure Analysis. In: Symp. on Principles of Programming Languages, pp. 332\u2013345 (1997)","DOI":"10.1145\/263699.263745"},{"key":"13_CR27","unstructured":"Bauer, J.: A control-flow-analysis for multi-threaded java with security applications, Master\u2019s thesis, Universitat des Saarlandes, pp. 97 (2001)"},{"key":"13_CR28","doi-asserted-by":"crossref","unstructured":"Blasio, P.D., Fisher, K., Talcott, C.: A Control-Flow Analysis for a Calculus of Concurrent Objects. IEEE Trans. on Soft. Eng.\u00a026(7) (2000)","DOI":"10.1109\/32.859531"},{"key":"13_CR29","series-title":"Lecture Notes in Computer Science","volume-title":"Advances in Petri Nets 1986. Proceedings of an Advanced Course, Bad Honnef, 8.-19. September 1986","year":"1987","unstructured":"Brauer, W., Reisig, W., Rozenberg, G. (eds.): APN 1986. LNCS, vol.\u00a0254. Springer, Heidelberg (1987)"},{"key":"13_CR30","volume-title":"The Object Constraint Language: Getting Your Models Ready for MDA","author":"J. Warmer","year":"2003","unstructured":"Warmer, J., Kleppe, A.: The Object Constraint Language: Getting Your Models Ready for MDA. Addison Wesley, Reading (2003)"},{"key":"13_CR31","volume-title":"Handbook of Formal Languages","author":"G. Rozenberg","year":"1997","unstructured":"Rozenberg, G., Salomaa, A.: Handbook of Formal Languages, 1st edn. Springer, Heidelberg (1997)","edition":"1"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/11581741_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T06:45:58Z","timestamp":1619505958000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/11581741_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005]]},"ISBN":["9783540300267","9783540320937"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/11581741_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2005]]}}}