{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,3]],"date-time":"2026-03-03T10:15:36Z","timestamp":1772532936870,"version":"3.50.1"},"reference-count":31,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2009,10,16]],"date-time":"2009-10-16T00:00:00Z","timestamp":1255651200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Softw Syst Model"],"published-print":{"date-parts":[[2011,2]]},"DOI":"10.1007\/s10270-009-0133-4","type":"journal-article","created":{"date-parts":[[2009,10,15]],"date-time":"2009-10-15T07:42:22Z","timestamp":1255592542000},"page":"63-89","source":"Crossref","is-referenced-by-count":30,"title":["Synthesis of test scenarios using UML activity diagrams"],"prefix":"10.1007","volume":"10","author":[{"given":"Ashalatha","family":"Nayak","sequence":"first","affiliation":[]},{"given":"Debasis","family":"Samanta","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2009,10,16]]},"reference":[{"key":"133_CR1","unstructured":"Magicdraw home page. http:\/\/www.magicdraw.com\/"},{"key":"133_CR2","volume-title":"Compilers Principles, Techniques and Tools","author":"A. Aho","year":"1986","unstructured":"Aho A., Sethi R., Ullman J.: Compilers Principles, Techniques and Tools. Addison-Wesley, Reading (1986)"},{"issue":"7","key":"133_CR3","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1145\/390013.808479","volume":"5","author":"F.E. Allen","year":"1970","unstructured":"Allen F.E.: Control flow analysis. ACM Sigplan Notices 5(7), 1\u201319 (1970)","journal-title":"ACM Sigplan Notices"},{"key":"133_CR4","unstructured":"Bai, X., Lam, C.P., Li, H.: An approach to generate the thin-threads from the UML diagrams. In: Proceedings of Computer Software and Applications Conference, pp. 546\u2013552 (2004)"},{"key":"133_CR5","unstructured":"Binder, R.V.: Testing Object Oriented Systems: Models, Patterns and Tools. The Addison-Wesley Object Technology Series (1999)"},{"issue":"1","key":"133_CR6","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1007\/s10270-002-0004-8","volume":"1","author":"L. Briand","year":"2002","unstructured":"Briand L., Labiche Y.: A UML- based approach to system testing. J. Softw. Syst. Model. 1(1), 10\u201342 (2002)","journal-title":"J. Softw. Syst. Model."},{"key":"133_CR7","doi-asserted-by":"crossref","unstructured":"Chandler, R., Lam, C., Li, H.: Dealing with concurrent regions during scenario generation from Activity diagrams. In: Proceedings of the International Conference on Systems, Computing Sciences and Software Engineering, pp. 415\u2013420. Springer, Netherlands (2007)","DOI":"10.1007\/978-1-4020-6268-1_74"},{"key":"133_CR8","doi-asserted-by":"crossref","unstructured":"Chandler, R., Lam, C.P., Li, H.: AD2US:an automated approach to generating usage scenarios from UML Activity diagrams. In: Proceedings of 12th Asia Pacific Software Engineering Conference, pp. 9\u201316. Taipei, Taiwan (2005)","DOI":"10.1109\/APSEC.2005.25"},{"key":"133_CR9","unstructured":"Xu, D.H.L., Lam, C.P.: Using adaptive agents to automatically generate test scenarios from the UML Activity diagrams. In: Proceedings of 12th Asia Pacific Software Engineering Conference, pp. 15\u201317. Taipei, Taiwan (2005)"},{"key":"133_CR10","doi-asserted-by":"crossref","unstructured":"Delamaro, M., Pezze, M., Vincenzi, A.M.R.: Mutant operators for testing concurrent Java programs. In: Proceedings of Brazilian Symposium on Software Engineering, pp. 272\u2013285. Rio de Janeiro, RJ, Brazil (2001)","DOI":"10.5753\/sbes.2001.23994"},{"key":"133_CR11","doi-asserted-by":"crossref","unstructured":"Frohlich, P., Link, J.: Automated test case generation from dynamic models. In: Proceedings of 14th European Conference on Object-Orinted Programming (2000)","DOI":"10.1007\/3-540-45102-1_23"},{"key":"133_CR12","doi-asserted-by":"crossref","unstructured":"Harrold, M.J., Rothermel, G.: Performing data flow testing on classes. In: Proceedings of the 2nd ACM SIGSOFT Symposium on Foundations of Software Engineering, pp. 154\u2013163 (1994)","DOI":"10.1145\/195274.195402"},{"key":"133_CR13","doi-asserted-by":"crossref","unstructured":"Hartmann, J., Viera, M., Foster, H., Ruder, A.: A UML based approach to system testing. Journal, Innovations in Systems and Software Engineering pp. 12\u201324 (2005). Springer, London","DOI":"10.1007\/s11334-005-0006-0"},{"key":"133_CR14","doi-asserted-by":"crossref","unstructured":"Hecht, M.S., Ullman, J.D.: Flow graph reducibility. In: Proceedings of the fourth annual ACM symposium on Theory of computing, pp. 238\u2013250. Denver, Colorado, United States (1972)","DOI":"10.1145\/800152.804919"},{"issue":"3","key":"133_CR15","doi-asserted-by":"crossref","first-page":"367","DOI":"10.1145\/321832.321835","volume":"21","author":"M.S. Hecht","year":"1974","unstructured":"Hecht M.S., Ullman J.D.: Characterizations of reducible flow graphs. J. ACM 21(3), 367\u2013375 (1974)","journal-title":"J. ACM"},{"key":"133_CR16","doi-asserted-by":"crossref","unstructured":"Kim, H., Kang, S., Baik, J., Ko, I.: Test cases generation from UML Activity diagrams. In: Proceedings of 8th ACIS International Conference on Software Engineering, Artificial Intelligence, Networking and Parallel\/Distributed Computing, pp. 556\u2013561 (2007)","DOI":"10.1109\/SNPD.2007.189"},{"key":"133_CR17","unstructured":"Kim, S., Clark, J., McDermid, J.: The rigorous generation of Java mutation operators using HAZOP. In: Proceedings of the 12th International Conference on Software and Systems Engineering and their Applications, pp. 9\u201319. Paris, France (1999)"},{"key":"133_CR18","unstructured":"Kim, Y., Carlson, C.R.: Scenario based integration testing for object-oriented software development. In: Proceedings of Asian Test Symposium, pp. 283\u2013288 (1999)"},{"key":"133_CR19","doi-asserted-by":"crossref","unstructured":"Li, H., Lam, C.P.: Using anti-ant-like agents to generate test threads from the UML diagrams. In: LNCS,Volume 3502, pp. 69\u201380 (2005)","DOI":"10.1007\/11430230_6"},{"key":"133_CR20","unstructured":"Linzhang, W., Jiesong, Y., Xiaofeng, Y., Jun, H., Xuandong, L., Guoliang, Z.: Generating test cases from UML Activity diagram based on gray-box method. In: Proceedings of the 11th Asia-Pacific Software Engineering Conference, pp. 284\u2013291. IEEE (2004)"},{"key":"133_CR21","doi-asserted-by":"crossref","unstructured":"Mingsong, C., Xiaokang, Q., Xuandong, L.: Automatic test case generation for UML Activity diagrams. In: Proceedings of the 2006 International workshop on Automation of software test, pp. 2\u20138. Shanghai, China (2006)","DOI":"10.1145\/1138929.1138931"},{"issue":"1","key":"133_CR22","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1145\/125489.125473","volume":"1","author":"A.J. Offutt","year":"1992","unstructured":"Offutt A.J.: Investigations of the software testing coupling effect. ACM Trans. Softw. Eng. Methodol. 1(1), 5\u201320 (1992)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"key":"133_CR23","doi-asserted-by":"crossref","unstructured":"Offutt, J., Abdurazik, A.: Generating tests from UML specifications. In: Proceedings of the Second International Conference on Unified Modeling Language, Beyond the Standard, pp. 416\u2013429 (1999)","DOI":"10.1007\/3-540-46852-8_30"},{"key":"133_CR24","doi-asserted-by":"crossref","unstructured":"Offutt, J., Abdurazik, A.: Using UML Collaboration diagrams for static checking and test generation. In: Proceedings of Third International Conference on UML, pp. 383\u2013395. York, UK (2000)","DOI":"10.1007\/3-540-40011-7_28"},{"issue":"6","key":"133_CR25","doi-asserted-by":"crossref","first-page":"676","DOI":"10.1145\/62959.62964","volume":"31","author":"T.J. Ostrand","year":"1988","unstructured":"Ostrand T.J., Balcer M.J.: The category-partition method for specifying and generating fuctional tests. Commun. ACM 31(6), 676\u2013686 (1988)","journal-title":"Commun. ACM"},{"key":"133_CR26","unstructured":"Ryser, J., Glinz., M.: A scenario-based approach to validating and testing software systems using statecharts. In: Proceedings of 12th International Conference on Software and Systems Engineering (1999)"},{"issue":"4","key":"133_CR27","doi-asserted-by":"crossref","first-page":"671","DOI":"10.1145\/321850.321862","volume":"21","author":"R. Sethi","year":"1974","unstructured":"Sethi R.: Testing for the Church-Rosser property. J. ACM 21(4), 671\u2013679 (1974)","journal-title":"J. ACM"},{"key":"133_CR28","unstructured":"UML: UML 2.0 Superstructure-Final Adopted Specification. Object Management Group (2003). http:\/\/www.omg.org\/docs\/ad\/03-08-02.pdf"},{"key":"133_CR29","doi-asserted-by":"crossref","unstructured":"Vieira, M., Leduc, J., Hasling, B., Subramanyan, R., Kazmeier, J.J.: Automation of GUI testing using a model-driven approach. In: Proceedings of the 2006 International workshop on Automation of Software Test, pp. 9\u201314. Shanghai, China (2006)","DOI":"10.1145\/1138929.1138932"},{"issue":"2","key":"133_CR30","doi-asserted-by":"crossref","first-page":"34","DOI":"10.1109\/52.663783","volume":"15","author":"K. Weidenhaupt","year":"1998","unstructured":"Weidenhaupt K., Pohl K., Jarke M., Haumer P.: Scenario usage in system development\u2014a report on current practice. IEEE Softw. 15(2), 34\u201345 (1998)","journal-title":"IEEE Softw."},{"issue":"4","key":"133_CR31","doi-asserted-by":"crossref","first-page":"231","DOI":"10.1109\/TSE.2004.1274043","volume":"30","author":"F. Zhang","year":"2004","unstructured":"Zhang F., D\u2019Hollander E.H.: Using hammock graphs to structure programs. IEEE Trans. Softw. Eng. 30(4), 231\u2013245 (2004)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Software & Systems Modeling"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0133-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10270-009-0133-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10270-009-0133-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,5,27]],"date-time":"2023-05-27T05:22:55Z","timestamp":1685164975000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10270-009-0133-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,10,16]]},"references-count":31,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2011,2]]}},"alternative-id":["133"],"URL":"https:\/\/doi.org\/10.1007\/s10270-009-0133-4","relation":{},"ISSN":["1619-1366","1619-1374"],"issn-type":[{"value":"1619-1366","type":"print"},{"value":"1619-1374","type":"electronic"}],"subject":[],"published":{"date-parts":[[2009,10,16]]}}}