{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T12:57:26Z","timestamp":1742993846808,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":36,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662544938"},{"type":"electronic","value":"9783662544945"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-54494-5_10","type":"book-chapter","created":{"date-parts":[[2017,3,22]],"date-time":"2017-03-22T00:09:02Z","timestamp":1490141342000},"page":"173-190","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":6,"title":["StaticGen: Static Generation of UML Sequence Diagrams"],"prefix":"10.1007","author":[{"given":"Chris","family":"Alvin","sequence":"first","affiliation":[]},{"given":"Brian","family":"Peterson","sequence":"additional","affiliation":[]},{"given":"Supratik","family":"Mukhopadhyay","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,3,22]]},"reference":[{"key":"10_CR1","unstructured":"List of Open-Source Android Apps (2013). http:\/\/forum.xda-developers.com\/showthread.php?t=2124002"},{"key":"10_CR2","unstructured":"Alur, R., Etessami, K., Yannakakis, M.: Inference of message sequence charts. In: ICSE 2000, pp. 304\u2013313 (2000). http:\/\/doi.acm.org\/10.1145\/337180.337215"},{"key":"10_CR3","unstructured":"Alvin, C., Peterson, B., Mukhopadhyay, S.: $$\\sf StaticGen$$: Static Generation of UML Sequence Diagrams - Technical Report (2017). http:\/\/hilltop.bradley.edu\/~calvin\/papers\/fase17-technical.pdf"},{"key":"10_CR4","unstructured":"Architexa.com: Introduction to Architexa\u2014Sequence Diagram Generation (2015). http:\/\/www.architexa.com\/support\/videos\/sequence-diagrams"},{"key":"10_CR5","unstructured":"Bedrin, D.: jtracert (2015). https:\/\/code.google.com\/p\/jtracert\/"},{"key":"10_CR6","unstructured":"Berge, C.: Graphs and Hypergraphs, vol. 45. North-Holland Mathematical Library, Elsevier Science Publishers B.V. (1989)"},{"key":"10_CR7","unstructured":"Bur\u00e9n, R.: BlueBlog. https:\/\/sourceforge.net\/projects\/blueblog\/. Accessed 16 Oct 2016"},{"issue":"3","key":"10_CR8","doi-asserted-by":"publisher","first-page":"267","DOI":"10.1016\/0743-1066(84)90014-1","volume":"1","author":"WF Dowling","year":"1984","unstructured":"Dowling, W.F., Gallier, J.H.: Linear-time algorithms for testing the satisfiability of propositional horn formulae. J. Log. Program. 1(3), 267\u2013284 (1984). dx.doi.org\/10.1016\/0743-1066(84)90014\u20131","journal-title":"J. Log. Program."},{"key":"10_CR9","unstructured":"Eclipse Foundation Inc: Eclipse (2015). https:\/\/eclipse.org\/"},{"key":"10_CR10","unstructured":"Gestwicki, P.V., Jayaraman, B.: JIVE: Java interactive visualization environment. In: OOPSLA 2004, pp. 226\u2013228. ACM, New York (2004). http:\/\/doi.acm.org\/10.1145\/1028664.1028762"},{"key":"10_CR11","unstructured":"Harel, D., Thiagarajan, P.: Message sequence charts. In: Lavagno, L., Martin, G., Selic, B. (eds.) UML for Real: Design of Embedded Real-time Systems, 1st edn. Kluwer Academic Publishers (2003)"},{"key":"10_CR12","unstructured":"Ishio, T., Watanabe, Y., Inoue, K.: AMIDA: A sequence diagram extraction toolkit supporting automatic phase detection. In: ICSE 2008, pp. 969\u2013970 (2008). http:\/\/doi.acm.org\/10.1145\/1370175.1370212"},{"key":"10_CR13","unstructured":"Jerding, D.F., Stasko, J.T., Ball, T.: Visualizing interactions in program executions. In: ICSE 1997, pp. 360\u2013370 (1997). http:\/\/doi.acm.org\/10.1145\/253228.253356"},{"key":"10_CR14","doi-asserted-by":"crossref","unstructured":"Korshunova, E., Petkovic, M., van den Brand, M.G.J., Mousavi, M.R.: CPP2XMI: Reverse engineering of UML class, sequence, and activity diagrams from C++ source code. In: WCRE 2006, pp. 297\u2013298 (2006). http:\/\/dx.doi.org\/10.1109\/WCRE.2006.21","DOI":"10.1109\/WCRE.2006.21"},{"key":"10_CR15","unstructured":"Kroening, D.: goto-cc\u2013A C\/C++ Front-End for Verification (2015). http:\/\/www.cprover.org\/goto-cc\/"},{"key":"10_CR16","unstructured":"Kumar, S., Khoo, S., Roychoudhury, A., Lo, D.: Mining message sequence graphs. In: ICSE 2011, pp. 91\u2013100 (2011). http:\/\/doi.acm.org\/10.1145\/1985793.1985807"},{"key":"10_CR17","doi-asserted-by":"crossref","unstructured":"Kumar, S., Khoo, S., Roychoudhury, A., Lo, D.: Inferring class level specifications for distributed systems. In: ICSE 2012, pp. 914\u2013924 (2012). http:\/\/dx.doi.org\/10.1109\/ICSE.2012.6227128","DOI":"10.1109\/ICSE.2012.6227128"},{"key":"10_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1007\/3-540-36206-1_23","volume-title":"FST TCS 2002: Foundations of Software Technology and Theoretical Computer Science","author":"M Leucker","year":"2002","unstructured":"Leucker, M., Madhusudan, P., Mukhopadhyay, S.: Dynamic message sequence charts. In: Agrawal, M., Seth, A. (eds.) FSTTCS 2002. LNCS, vol. 2556, pp. 253\u2013264. Springer, Heidelberg (2002). doi:10.1007\/3-540-36206-1_23"},{"key":"10_CR19","unstructured":"Livshits, V.B., Lam, M.S.: Finding security vulnerabilities in java applications with static analysis. In: SSYM 2005, pp. 18\u201318. USENIX Association, Berkeley (2005). http:\/\/dl.acm.org\/citation.cfm?id=1251398.1251416"},{"key":"10_CR20","doi-asserted-by":"crossref","unstructured":"Lo, D., Maoz, S.: Mining scenario-based triggers and effects. In: ASE 2008, pp. 109\u2013118 (2008). http:\/\/dx.doi.org\/10.1109\/ASE.2008.21","DOI":"10.1109\/ASE.2008.21"},{"key":"10_CR21","doi-asserted-by":"crossref","unstructured":"Lo, D., Maoz, S.: Mining hierarchical scenario-based specifications. In: ASE 2009, pp. 359\u2013370 (2009). http:\/\/dx.doi.org\/10.1109\/ASE.2009.19","DOI":"10.1109\/ASE.2009.19"},{"key":"10_CR22","unstructured":"Lo, D., Maoz, S., Khoo, S.: Mining modal scenario-based specifications from execution traces of reactive systems. In: ASE 2007, pp. 465\u2013468 (2007). http:\/\/doi.acm.org\/10.1145\/1321631.1321710"},{"key":"10_CR23","unstructured":"Msdn.microsoft.com: Visualize Code on Sequence Diagrams (2015). https:\/\/msdn.microsoft.com\/en-us\/library\/ee317485.aspx"},{"key":"10_CR24","unstructured":"Myers, D., Storey, M.A.: Using dynamic analysis to create trace-focused user interfaces for IDEs. In: FSE 2010, pp. 367\u2013368. ACM, New York (2010). http:\/\/doi.acm.org\/10.1145\/1882291.1882351"},{"key":"10_CR25","unstructured":"Objectaid.com: UML Explorer (2015). http:\/\/www.objectaid.com\/sequence-diagram"},{"key":"10_CR26","doi-asserted-by":"crossref","unstructured":"Roubtsov, S.A., Serebrenik, A., Mazoyer, A., van den Brand, M.G.J., Roubtsova, E.E.: I2SD: Reverse engineering sequence diagrams from enterprise java beans with interceptors. IET Softw. 7(3) (2013). http:\/\/dx.doi.org\/10.1049\/iet-sen.2012.0056","DOI":"10.1049\/iet-sen.2012.0056"},{"key":"10_CR27","unstructured":"Rountev, A., Connell, B.H.: Object naming analysis for reverse-engineered sequence diagrams. In: ICSE 2005, pp. 254\u2013263 (2005). http:\/\/doi.acm.org\/10.1145\/1062455.1062510"},{"key":"10_CR28","unstructured":"Rountev, A., Volgin, O., Reddoch, M.: Static control-flow analysis for reverse engineering of UML sequence diagrams. In: PASTE 2005, pp. 96\u2013102 (2005). http:\/\/doi.acm.org\/10.1145\/1108792.1108816"},{"key":"10_CR29","unstructured":"Sable Research Group: Soot: A framework for Analyzing and Transforming Java and Android Applications (2015). http:\/\/sable.github.io\/soot\/"},{"key":"10_CR30","unstructured":"Sampaio, L.: Early Security Vulnerability Detector. https:\/\/marketplace.eclipse.org\/content\/early-security-vulnerability-detector-esvd. Accessed 16 Oct 2016"},{"key":"10_CR31","doi-asserted-by":"publisher","first-page":"337","DOI":"10.1016\/j.jss.2015.12.021","volume":"113","author":"L Sampaio","year":"2016","unstructured":"Sampaio, L., Garcia, A.: Exploring context-sensitive data flow analysis for early vulnerability detection. J. Syst. Softw. 113, 337\u2013361 (2016). http:\/\/www.sciencedirect.com\/science\/article\/pii\/S0164121215002873","journal-title":"J. Syst. Softw."},{"key":"10_CR32","unstructured":"Soyatec.com: Soyatec - Sequence diagram generation (2015). http:\/\/www.soyatec.com\/euml2\/features\/eUML2%20Modeler\/"},{"key":"10_CR33","doi-asserted-by":"crossref","unstructured":"Tonella, P., Potrich, A.: Reverse engineering of the interaction diagrams from C++ code. In: ICSM 2003, pp. 159\u2013168 (2003). http:\/\/dx.doi.org\/10.1109\/ICSM.2003.1235418","DOI":"10.1109\/ICSM.2003.1235418"},{"key":"10_CR34","unstructured":"Visual-paradigm.com: Reverse Engineering Sequence Diagram from Java Source Code (2015). https:\/\/www.visual-paradigm.com\/tutorials\/seqrev.jsp"},{"key":"10_CR35","unstructured":"Wikipedia: List of Free and Open-Source Android Applications (2015). http:\/\/en.wikipedia.org\/wiki\/List_of_free_and_open-source_Android_applications"},{"key":"10_CR36","doi-asserted-by":"crossref","unstructured":"Ziadi, T., da Silva, M.A.A., Hillah, L., Ziane, M.: A fully dynamic approach to the reverse engineering of UML sequence diagrams. In: ICECCS 2011, pp. 107\u2013116 (2011). http:\/\/dx.doi.org\/10.1109\/ICECCS.2011.18","DOI":"10.1109\/ICECCS.2011.18"}],"container-title":["Lecture Notes in Computer Science","Fundamental Approaches to Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-54494-5_10","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,21]],"date-time":"2021-04-21T02:15:49Z","timestamp":1618971349000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-662-54494-5_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662544938","9783662544945"],"references-count":36,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-54494-5_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]},"assertion":[{"value":"22 March 2017","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"FASE","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Conference on Fundamental Approaches to Software Engineering","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Uppsala","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Sweden","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2017","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"26 April 2017","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"28 April 2017","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"20","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"fase2017","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.etaps.org\/index.php\/2017\/fase","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"}]}}