{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,9,8]],"date-time":"2025-09-08T05:42:03Z","timestamp":1757310123652,"version":"3.40.3"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030212896"},{"type":"electronic","value":"9783030212902"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2019]]},"DOI":"10.1007\/978-3-030-21290-2_7","type":"book-chapter","created":{"date-parts":[[2019,5,28]],"date-time":"2019-05-28T21:39:12Z","timestamp":1559079552000},"page":"96-110","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Exhaustive Simulation and Test Generation Using fUML Activity Diagrams"],"prefix":"10.1007","author":[{"given":"Junaid","family":"Iqbal","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Adnan","family":"Ashraf","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Dragos","family":"Truscan","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ivan","family":"Porres","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,5,29]]},"reference":[{"key":"7_CR1","unstructured":"Amellal, S., Kaminska, B.: Scheduling of a control data flow graph. In: 1993 IEEE International Symposium on Circuits and Systems, vol. 3, pp. 1666\u20131669 (1993)"},{"key":"7_CR2","doi-asserted-by":"publisher","first-page":"269","DOI":"10.1007\/978-3-319-11617-4_19","volume-title":"Complex Systems Design & Management","author":"M Arnaud","year":"2015","unstructured":"Arnaud, M., Bannour, B., Cuccuru, A., Gaston, C., Gerard, S., Lapitre, A.: Timed symbolic testing framework for executable models using high-level scenarios. In: Boulanger, F., Krob, D., Morel, G., Roussel, J.C. (eds.) Complex Systems Design & Management, pp. 269\u2013282. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-11617-4_19"},{"key":"7_CR3","unstructured":"Backhau\u00df, S.: Code generation for UML activity diagrams in real-time systems. Master\u2019s thesis, Institute for Software Systems, Hamburg University of Technology (2016)"},{"key":"7_CR4","doi-asserted-by":"crossref","unstructured":"Breton, E., B\u00e9zivin, J.: Towards an understanding of model executability. In: Proceedings of the International Conference on Formal Ontology in Information Systems - Volume 2001, FOIS 2001, pp. 70\u201380. ACM (2001)","DOI":"10.1145\/505168.505176"},{"key":"7_CR5","doi-asserted-by":"crossref","unstructured":"Cadar, C., et al.: Symbolic execution for software testing in practice: preliminary assessment. In: Proceedings of the 33rd International Conference on Software Engineering, ICSE 2011, pp. 1066\u20131071. ACM (2011)","DOI":"10.1145\/1985793.1985995"},{"key":"7_CR6","doi-asserted-by":"publisher","first-page":"277","DOI":"10.1016\/j.scico.2015.05.008","volume":"111","author":"Z Daw","year":"2015","unstructured":"Daw, Z., Cleaveland, R.: Comparing model checkers for timed UML activity diagrams. Sci. Comput. Program. 111, 277\u2013299 (2015). Special Issue on Automated Verification of Critical Systems (AVoCS 2013)","journal-title":"Sci. Comput. Program."},{"key":"7_CR7","doi-asserted-by":"crossref","unstructured":"Fraser, G., Arcuri, A.: EvoSuite: automatic test suite generation for object-oriented software. In: Proceedings of the 19th ACM SIGSOFT Symposium and the 13th European Conference on Foundations of Software Engineering, ESEC\/FSE 2011, pp. 416\u2013419. ACM (2011)","DOI":"10.1145\/2025113.2025179"},{"key":"7_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"65","DOI":"10.1007\/978-3-319-66299-2_5","volume-title":"Search Based Software Engineering","author":"G Gay","year":"2017","unstructured":"Gay, G.: Generating effective test suites by combining coverage criteria. In: Menzies, T., Petke, J. (eds.) SSBSE 2017. LNCS, vol. 10452, pp. 65\u201382. Springer, Cham (2017). https:\/\/doi.org\/10.1007\/978-3-319-66299-2_5"},{"key":"7_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"205","DOI":"10.1007\/978-3-642-21470-7_15","volume-title":"Modelling Foundations and Applications","author":"D Gessenharter","year":"2011","unstructured":"Gessenharter, D., Rauscher, M.: Code generation for UML 2 activity diagrams. In: France, R.B., Kuester, J.M., Bordbar, B., Paige, R.F. (eds.) ECMFA 2011. LNCS, vol. 6698, pp. 205\u2013220. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-21470-7_15"},{"issue":"10","key":"7_CR10","doi-asserted-by":"publisher","first-page":"178","DOI":"10.1145\/354222.353184","volume":"35","author":"W Harrison","year":"2000","unstructured":"Harrison, W., Barton, C., Raghavachari, M.: Mapping UML designs to Java. SIGPLAN Not. 35(10), 178\u2013187 (2000)","journal-title":"SIGPLAN Not."},{"issue":"11","key":"7_CR11","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/368996.369025","volume":"5","author":"AB Kahn","year":"1962","unstructured":"Kahn, A.B.: Topological sorting of large networks. Commun. ACM 5(11), 558\u2013562 (1962). https:\/\/doi.org\/10.1145\/368996.369025","journal-title":"Commun. ACM"},{"key":"7_CR12","doi-asserted-by":"crossref","unstructured":"Majumdar, R., Sen, K.: Hybrid concolic testing. In: Proceedings of the 29th International Conference on Software Engineering, pp. 416\u2013426 (2007)","DOI":"10.1109\/ICSE.2007.41"},{"key":"7_CR13","volume-title":"Executable UML. A Foundation for Model-Driven Architecture","author":"SJ Mellor","year":"2002","unstructured":"Mellor, S.J., Balcer, M.: Executable UML. A Foundation for Model-Driven Architecture. Addison-Wesley, Boston (2002)"},{"key":"7_CR14","unstructured":"Micskei, Z., Konnerth, R.A., Horv\u00e1th, B., Semer\u00e1th, O., V\u00f6r\u00f6s, A., Varr\u00f3, D.: On open source tools for behavioral modeling and analysis with fUML and Alf. In: Bordelau, F., Dingel, J., Gerard, S., Voss, S. (eds.) 1st Workshop on Open Source Software for Model Driven Engineering (2014)"},{"key":"7_CR15","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/978-3-319-21215-9_11","volume-title":"Tests and Proofs","author":"S Mijatov","year":"2015","unstructured":"Mijatov, S., Mayerhofer, T., Langer, P., Kappel, G.: Testing functional requirements in UML activity diagrams. In: Blanchette, J.C., Kosmatov, N. (eds.) TAP 2015. LNCS, vol. 9154, pp. 173\u2013190. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-21215-9_11"},{"key":"7_CR16","first-page":"66","volume":"46","author":"E Planas","year":"2016","unstructured":"Planas, E., Cabot, J., G\u00f3mez, C.: Lightweight and static verification of UML executable models. Comput. Lang. Syst. Struct. 46, 66\u201390 (2016)","journal-title":"Comput. Lang. Syst. Struct."},{"issue":"2","key":"7_CR17","doi-asserted-by":"publisher","first-page":"852","DOI":"10.1007\/s10664-015-9424-2","volume":"22","author":"JM Rojas","year":"2017","unstructured":"Rojas, J.M., Vivanti, M., Arcuri, A., Fraser, G.: A detailed investigation of the effectiveness of whole test suite generation. Empirical Softw. Eng. 22(2), 852\u2013893 (2017). https:\/\/doi.org\/10.1007\/s10664-015-9424-2","journal-title":"Empirical Softw. Eng."},{"issue":"6","key":"7_CR18","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1640162.1666579","volume":"34","author":"P Samuel","year":"2009","unstructured":"Samuel, P., Mall, R.: Slicing-based test case generation from UML activity diagrams. ACM SIGSOFT Softw. Eng. Notes 34(6), 1\u201314 (2009)","journal-title":"ACM SIGSOFT Softw. Eng. Notes"},{"key":"7_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-30982-3_1","volume-title":"Formal Methods for Model-Driven Engineering","author":"B Selic","year":"2012","unstructured":"Selic, B.: The less well known UML. In: Bernardo, M., Cortellessa, V., Pierantonio, A. (eds.) SFM 2012. LNCS, vol. 7320, pp. 1\u201320. Springer, Heidelberg (2012). https:\/\/doi.org\/10.1007\/978-3-642-30982-3_1"},{"issue":"4","key":"7_CR20","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/j.entcs.2004.08.046","volume":"127","author":"H St\u00f6rrle","year":"2005","unstructured":"St\u00f6rrle, H.: Semantics and verification of data flow in UML 2.0 activities. Electron. Notes Theor. Comput. Sci. 127(4), 35\u201352 (2005)","journal-title":"Electron. Notes Theor. Comput. Sci."},{"key":"7_CR21","unstructured":"Tatibouet, J., Cuccuru, A., G\u00e9rard, S., Terrier, F.: Principles for the realization of an open simulation framework based on fUML (WIP). In: Proceedings of the Symposium on Theory of Modeling & Simulation - DEVS Integrative M&S Symposium, DEVS 2013, pp. 4:1\u20134:6 (2013)"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"Yu, L., Tang, X., Wang, L., Li, X.: Simulating software behavior based on UML activity diagram. In: Proceedings of the 5th Asia-Pacific Symposium on Internetware, Internetware 2013, pp. 31:1\u201331:4. ACM (2013)","DOI":"10.1145\/2532443.2532465"}],"container-title":["Lecture Notes in Computer Science","Advanced Information Systems Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-21290-2_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,5,28]],"date-time":"2024-05-28T00:02:39Z","timestamp":1716854559000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-21290-2_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783030212896","9783030212902"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-21290-2_7","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"29 May 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"CAiSE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Advanced Information Systems Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Rome","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Italy","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3 June 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7 June 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"31","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"caise2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/www.caise19.it\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}