{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T10:30:09Z","timestamp":1743071409305,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":34,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540690955"},{"type":"electronic","value":"9783540691006"}],"license":[{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2008,1,1]],"date-time":"2008-01-01T00:00:00Z","timestamp":1199145600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2008]]},"DOI":"10.1007\/978-3-540-69100-6_6","type":"book-chapter","created":{"date-parts":[[2008,6,5]],"date-time":"2008-06-05T09:27:49Z","timestamp":1212658069000},"page":"79-93","source":"Crossref","is-referenced-by-count":8,"title":["Data Flow Analysis of UML Action Semantics for Executable Models"],"prefix":"10.1007","author":[{"given":"Tabinda","family":"Waheed","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Muhammad Zohaib Z.","family":"Iqbal","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Zafar I.","family":"Malik","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"6_CR1","volume-title":"Executable UML; A Foundation for Model-Driven Architecture","author":"S.J. Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.J.: Executable UML; A Foundation for Model-Driven Architecture. Addison-Wesley, Reading (2002)"},{"key":"6_CR2","unstructured":"Eakman, G.T.: Verification of Platform Independent Models. In: UML Workshop: Model Driven Architecture in the Specification, Implementation and validation of Object-oriented Embedded Systems, San Francisco, California (October 2003)"},{"key":"6_CR3","unstructured":"Mellor, S.J., Agile, M.D.A.: MDA Journal (2004) [Accessed: July 16, 2007], \n                        http:\/\/www.omg.org\/mda\/mda_files\/Agile_MDA.pdf"},{"key":"6_CR4","unstructured":"Mellor, S.J.: Introduction to Executable and Translatable UML, Application Development Toolkit, Whitepapers CNET Networks (2005)"},{"key":"6_CR5","unstructured":"Ambler, S.W.: Be Realistic About the UML: It\u2019s Simply Not Sufficient, AmbySoft Inc. (2005) [Accessed: September 12, 2006], \n                        http:\/\/www.agilemodeling.com\/essays\/realisticUML.htm"},{"key":"6_CR6","unstructured":"Unified Modeling Language: Superstructure. Version 2.1. Object Management Group (OMG) document ptc\/06-04-02 (2004), \n                        http:\/\/www.omg.org"},{"key":"6_CR7","volume-title":"Proceedings of the 13th International Conference on Advanced Information Systems Engineering","author":"G. Suny\u00e9","year":"2001","unstructured":"Suny\u00e9, G., Pennaneac\u2019h, F., Ho, W., Guennec, A.L., J\u00e9z\u00e9quel, J.M.: Using UML Action Semantics for Executable Modeling and Beyond. In: Proceedings of the 13th International Conference on Advanced Information Systems Engineering. ACM, New York (2001)"},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Rothermel, G.: Performing Data Flow Testing on Classes, SIGSOFT 1994- 12\/94 New Orleans, LA, USA. \u00a9 ACM, New York (1994)","DOI":"10.1145\/193173.195402"},{"key":"6_CR9","unstructured":"Mellor, S.J., Tockey, S., Arthaud, R., Leblane, P.: Software-Platform-independent, Precise Action Specifications for UML (2006), Available: Project Technology [Accessed December 5, 2006], \n                        http:\/\/www.projtech.com"},{"key":"6_CR10","doi-asserted-by":"crossref","unstructured":"Tsai, B.Y., Stobart, S., Parrington, N.: Employing Data Flow Testing on Object-oriented Classes. IEE Proceedings-Software\u00a0148(2) (April 2001)","DOI":"10.1049\/ip-sen:20010448"},{"key":"6_CR11","first-page":"270","volume-title":"Proceedings of the 6th International Conference on Software Engineering","author":"S. Rapps","year":"1982","unstructured":"Rapps, S., Weyuker, E.J.: Data Flow Analysis Techniques for Test Data Selection. In: Proceedings of the 6th International Conference on Software Engineering, Tokyo, Japan, pp. 0270\u20135257. IEEE, Los Alamitos (1982)"},{"key":"6_CR12","unstructured":"Gupta, N., Gupta, R.: Data Flow Testing, The Compiler Design Handbook: Optimization and Machine Code Generation, ch.7, 1st edn., pp. 247\u2013267. CRC Press, Boca Raton"},{"key":"6_CR13","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Rothermel, G.: Performing Data Flow Testing on Classes, SIGSOFT 1994, 12\/94 New Orleans, LA, USA. \u00a9 ACM, New York (1994)","DOI":"10.1145\/193173.195402"},{"key":"6_CR14","doi-asserted-by":"publisher","first-page":"191","DOI":"10.1109\/ICSE.1994.296778","volume-title":"Proceedings of the 16th International Conference on Software Engineering","author":"M. Hutchins","year":"1994","unstructured":"Hutchins, M., Foster, H., Goradia, T., Ostrand, T.: Experiments on the Effectiveness of Dataflow and Controlflow-based Test Adequacy Criteria. In: Proceedings of the 16th International Conference on Software Engineering, Sorrento, Italy, pp. 191\u2013200. IEEE Computer Society Press, Los Alamitos (1994)"},{"key":"6_CR15","unstructured":"Carter, K.: \n                        http:\/\/www.kc.com"},{"key":"6_CR16","unstructured":"Wilkie, I., King, A., Clarke, M., Weaver, C., Raistrick, C., Francis, P.: UML ASL Reference Guide, ASL Language Level 2.5, Manual Revision D (2003)"},{"key":"6_CR17","unstructured":"Nucleus UML Suite, \n                        www.mentor.com\/products\/embedded_software\/nucleus_modeling\/index.cfm"},{"key":"6_CR18","unstructured":"Trong, T.D., Ghosh, S., France, D.: JAL: Java like Action Language, Specification 1.1 \u2013 Beta version. CS Technical Report 06-102. Department of Computer Science, Colorado State University, Fort Collins, USA"},{"key":"6_CR19","unstructured":"Pathfinder Solutions. Platform independent Action language, version 2.2 (December 2004), \n                        http:\/\/PathfinderMDA.com"},{"key":"6_CR20","unstructured":"Dubrovin, J.: JUMBALA \u2013 An Action Language for UML State Machines, HUT-TCS-A101. Research Reports 101. Laboratory for Theoretical Computer Science, Helsinki University of Technology, Espoo, Finland (March 2006)"},{"key":"6_CR21","unstructured":"Kabira Technologies, \n                        http:\/\/www.kabira.com"},{"key":"6_CR22","first-page":"81","volume-title":"Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica","author":"S. Skiena","year":"1990","unstructured":"Skiena, S.: Adjacency Matrices. In: Implementing Discrete Mathematics: Combinatorics and Graph Theory with Mathematica, pp. 81\u201385. Addison-Wesley, Reading (1990); Cambridge University Press"},{"key":"6_CR23","series-title":"Lecture Notes in Computer Science","volume-title":"TAPSOFT \u201995: Theory and Practice of Software Development","author":"M. Sagiv","year":"1995","unstructured":"Sagiv, M., Reps, T., Horwitz, S.: Precise interprocedural dataflow analysis with applications to constant propagation. In: Mosses, P.D., Schwartzbach, M.I., Nielsen, M. (eds.) CAAP 1995, FASE 1995, and TAPSOFT 1995. LNCS, vol.\u00a0915. Springer, Heidelberg (1995)"},{"key":"6_CR24","volume-title":"SIGPLAN 1998","author":"G. Ammons","year":"1998","unstructured":"Ammons, G., Larus, J.R.: Improving Data-flow Analysis with Path Profiles. In: SIGPLAN 1998, Montreal, Canada. \u00a9 ACM, New York (1998)"},{"key":"6_CR25","volume-title":"Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997), Electronic Workshops in Computing","author":"L. Moonen","year":"1997","unstructured":"Moonen, L.: A Generic Architecture for Data Flow Analysis to Support Reverse Engineering. In: Proceedings of the Second International Workshop on the Theory and Practice of Algebraic Specifications (ASF+SDF 1997), Electronic Workshops in Computing, Amsterdam. Springer, Heidelberg (1997)"},{"key":"6_CR26","doi-asserted-by":"crossref","unstructured":"Kramer, R., Gupta, R., Soffa, M.L.: The Combining DAG: A technique for Parallel Data Flow Analysis. IEEE Transactions on Parallel and Distributed Systems\u00a05(8) (August 1994)","DOI":"10.1109\/71.298205"},{"key":"6_CR27","volume-title":"Proceedings of International Conference on Software Maintenance","author":"D.C. Atkinson","year":"2001","unstructured":"Atkinson, D.C., Griswold, W.G.: Implementation Techniques for Efficient Data-Flow Analysis of Large Programs. In: Proceedings of International Conference on Software Maintenance, Florence, Italy. IEEE, Los Alamitos (2001); 0-7695-1189-9"},{"key":"6_CR28","volume-title":"Mcgraw-Hill International Series In Software Engineering","author":"E.I. Oviedo","year":"1993","unstructured":"Oviedo, E.I.: Control flow, data flow, and program complexity. In: Mcgraw-Hill International Series In Software Engineering. Mcgraw-Hill Inc., USA (1993)"},{"key":"6_CR29","first-page":"239","volume-title":"Proceedings of the 7th International Conference on Software Engineering","author":"K.C. Tai","year":"1984","unstructured":"Tai, K.C.: A Program Complexity Metric based on Data Flow Information in Control Graphs. In: Proceedings of the 7th International Conference on Software Engineering, Orlando, Florida, United States, pp. 239\u2013248. IEEE, Los Alamitos (1984)"},{"key":"6_CR30","volume-title":"Dual Flow Nets: Modeling the Control\/Data-Flow Relation in Embedded Systems. ACM Transactions on Embedded Computing Systems (TECS)","author":"M. Varea","year":"2006","unstructured":"Varea, M., Al-Hashimi, B.M.: Dual Flow Nets: Modeling the Control\/Data-Flow Relation in Embedded Systems. ACM Transactions on Embedded Computing Systems (TECS). ACM Press, USA (2006)"},{"key":"6_CR31","unstructured":"Farwer, B., Varea, M.: Object-based Control\/Data-flow Analysis, Technical Report DSSE-TR-2005-1, Declarative Systems and Software Engineering Group, University of Southampton, Southampton (2005)"},{"key":"6_CR32","doi-asserted-by":"crossref","first-page":"137","DOI":"10.1201\/b16592","volume-title":"Software Testing: A Craftsman\u2019s Approach","author":"P.C. Jorgensen","year":"2002","unstructured":"Jorgensen, P.C.: Software Testing: A Craftsman\u2019s Approach, 2nd edn., pp. 137\u2013174. CRC Press Inc., Boca Raton (2002)","edition":"2"},{"key":"6_CR33","doi-asserted-by":"crossref","unstructured":"Kim, Y.G., Hong, H.S., Cho, S.M., Bae, D.H., Cha, S.D.: Test Cases Generation from UML State Diagrams. In: IEE Proceedings-Software, vol.\u00a0146, pp. 187\u2013192 (August 1999)","DOI":"10.1049\/ip-sen:19990602"},{"key":"6_CR34","volume-title":"Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005)","author":"L.C. Briand","year":"2005","unstructured":"Briand, L.C., Labiche, Y., Lin, Q.: Improving State chart testing Criteria Using Data Flow Information. In: Proceedings of the 16th IEEE International Symposium on Software Reliability Engineering (ISSRE 2005). IEEE, Los Alamitos (2005)"}],"container-title":["Lecture Notes in Computer Science","Model Driven Architecture \u2013 Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69100-6_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,7]],"date-time":"2024-05-07T05:05:22Z","timestamp":1715058322000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-540-69100-6_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008]]},"ISBN":["9783540690955","9783540691006"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69100-6_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2008]]}}}