{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,27]],"date-time":"2025-06-27T04:16:05Z","timestamp":1750997765297,"version":"3.41.0"},"publisher-location":"Cham","reference-count":22,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319708478"},{"type":"electronic","value":"9783319708485"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/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-319-70848-5_5","type":"book-chapter","created":{"date-parts":[[2017,11,10]],"date-time":"2017-11-10T15:43:26Z","timestamp":1510328606000},"page":"52-69","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Graph Grammar Extraction from Source Code"],"prefix":"10.1007","author":[{"given":"Lucio Mauro","family":"Duarte","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Leila","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,11,11]]},"reference":[{"key":"5_CR1","first-page":"1","volume":"67","author":"A Alshanqiti","year":"2014","unstructured":"Alshanqiti, A., Heckel, R.: Towards dynamic reverse engineering visual contracts from Java. Electron. Commun. EASST 67, 1\u201312 (2014)","journal-title":"Electron. Commun. EASST"},{"key":"5_CR2","volume-title":"Model Checking","author":"EM Clarke Jr","year":"1999","unstructured":"Clarke Jr., E.M., Grumberg, O., Peled, D.A.: Model Checking. MIT Press, Cambridge (1999)"},{"issue":"3","key":"5_CR3","doi-asserted-by":"crossref","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"JE Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol. 7(3), 215\u2013249 (1998)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"13","key":"5_CR4","doi-asserted-by":"crossref","first-page":"827","DOI":"10.1016\/S0950-5849(02)00104-0","volume":"44","author":"JR Cordy","year":"2002","unstructured":"Cordy, J.R., Dean, T.R., Malton, A.J., Schneider, K.A.: Source transformation in software engineering using the TXL transformation system. Inf. Softw. Technol. 44(13), 827\u2013837 (2002)","journal-title":"Inf. Softw. Technol."},{"key":"5_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"383","DOI":"10.1007\/978-3-540-30203-2_27","volume-title":"Graph Transformations","author":"A Corradini","year":"2004","unstructured":"Corradini, A., Dotti, F.L., Foss, L., Ribeiro, L.: Translating Java code to graph transformation systems. In: Ehrig, H., Engels, G., Parisi-Presicce, F., Rozenberg, G. (eds.) ICGT 2004. LNCS, vol. 3256, pp. 383\u2013398. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-30203-2_27"},{"key":"5_CR6","doi-asserted-by":"crossref","unstructured":"da Costa Cavalheiro, S.A., Foss, L., Ribeiro, L.: Theorem proving graph grammars with attributes and negative application conditions. Theor. Comput. Sci. 686, 25\u201377 (2017). https:\/\/doi.org\/10.1016\/j.tcs.2017.04.010","DOI":"10.1016\/j.tcs.2017.04.010"},{"issue":"3","key":"5_CR7","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/s10270-006-0014-z","volume":"5","author":"FL Dotti","year":"2006","unstructured":"Dotti, F.L., Ribeiro, L., dos Santos, O.M., Pasini, F.: Verifying object-based graph grammars. Soft. Syst. Model. 5(3), 289\u2013311 (2006)","journal-title":"Soft. Syst. Model."},{"key":"5_CR8","unstructured":"Duarte, L.M.: Behaviour Model Extraction using Context Information. Ph.D. thesis, Imperial College London, University of London, November 2007"},{"issue":"2","key":"5_CR9","doi-asserted-by":"crossref","first-page":"523","DOI":"10.1007\/s10270-015-0466-0","volume":"16","author":"LM Duarte","year":"2017","unstructured":"Duarte, L.M., Kramer, J., Uchitel, S.: Using contexts to extract models from code. Softw. Syst. Model. 16(2), 523\u2013557 (2017)","journal-title":"Softw. Syst. Model."},{"key":"5_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"101","DOI":"10.1007\/978-3-540-78743-3_9","volume-title":"Fundamental Approaches to Software Engineering","author":"LM Duarte","year":"2008","unstructured":"Duarte, L.M., Kramer, J., Uchitel, S.: Towards faithful model extraction based on contexts. In: Fiadeiro, J.L., Inverardi, P. (eds.) FASE 2008. LNCS, vol. 4961, pp. 101\u2013115. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-3-540-78743-3_9"},{"key":"5_CR11","doi-asserted-by":"crossref","unstructured":"Ehrig, H., Engels, G., Kreowski, H.J., Rozenberg, G. (eds.): Handbook of Graph Grammars and Computing by Graph Transformation, Applications, Languages, and Tools, vol. II. World Scientific, Singapore (1999)","DOI":"10.1142\/4180"},{"key":"5_CR12","doi-asserted-by":"crossref","unstructured":"Ernst, M.D.: Static and dynamic analysis: Synergy and duality. In: Workshop on Dynamic Analysis, Portland, OR, USA, pp. 24\u201327, May 2003","DOI":"10.1145\/996821.996823"},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Henzinger, T., Jahla, R., Majumdar, R., Sutre, G.: Lazy abstraction. In: ACM Symposium on Principles of Programming Languages, pp. 58\u201370. ACM Press, Portland, January 2002","DOI":"10.1145\/503272.503279"},{"key":"5_CR14","doi-asserted-by":"crossref","unstructured":"Holzmann, G., Smith, M.: A practical method for verifying event-driven software. In: International Conference on Software Engineering, pp. 597\u2013607. ACM, New York, May 1999","DOI":"10.1145\/302405.302710"},{"issue":"7","key":"5_CR15","doi-asserted-by":"crossref","first-page":"371","DOI":"10.1145\/360248.360251","volume":"19","author":"R Keller","year":"1976","unstructured":"Keller, R.: Formal verification of parallel programs. Commun. ACM 19(7), 371\u2013384 (1976)","journal-title":"Commun. ACM"},{"key":"5_CR16","doi-asserted-by":"crossref","unstructured":"Lorenzoli, D., Mariani, L., Pezze, M.: Inferring state-based behavior models. In: WODA 2006: Proceedings of the 2006 International Workshop on Dynamic Systems Analysis, pp. 25\u201332. ACM Press, New York (2006)","DOI":"10.1145\/1138912.1138919"},{"key":"5_CR17","doi-asserted-by":"crossref","unstructured":"de Oliveira, M., Ribeiro, L., Mauro Duarte, L., Cota, E.: Specification of models based on contexts using graph grammars. In: 2013 2nd Workshop-School on Theoretical Computer Science (WEIT), pp. 129\u2013134, October 2013","DOI":"10.1109\/WEIT.2013.36"},{"key":"5_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"479","DOI":"10.1007\/978-3-540-25959-6_40","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"A Rensink","year":"2004","unstructured":"Rensink, A.: The GROOVE simulator: a\u00a0tool for state space generation. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 479\u2013485. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25959-6_40"},{"key":"5_CR19","doi-asserted-by":"crossref","unstructured":"Rozenberg, G. (ed.): Handbook of Graph Grammars and Computing by Graph Transformation: Foundations, vol. I. World Scientific, Singapore (1997)","DOI":"10.1142\/3303"},{"key":"5_CR20","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1007\/978-3-540-25959-6_35","volume-title":"Applications of Graph Transformations with Industrial Relevance","author":"G Taentzer","year":"2004","unstructured":"Taentzer, G.: AGG: a\u00a0graph transformation environment for modeling and validation of software. In: Pfaltz, J.L., Nagl, M., B\u00f6hlen, B. (eds.) AGTIVE 2003. LNCS, vol. 3062, pp. 446\u2013453. Springer, Heidelberg (2004). https:\/\/doi.org\/10.1007\/978-3-540-25959-6_35"},{"key":"5_CR21","doi-asserted-by":"crossref","unstructured":"Walkinshaw, N., Taylor, R., Derrick, J.: Inferring extended finite state machine models from software executions. In: 20th Working Conference on Reverse Engineering (WCRE), pp. 301\u2013310 (2013)","DOI":"10.1109\/WCRE.2013.6671305"},{"issue":"3","key":"5_CR22","doi-asserted-by":"crossref","first-page":"431","DOI":"10.1109\/TSE.2010.3","volume":"36","author":"C Zhao","year":"2010","unstructured":"Zhao, C., Kong, J., Zhang, K.: Program behavior discovery and verification: a graph grammar approach. IEEE Trans. Softw. Eng. 36(3), 431\u2013448 (2010)","journal-title":"IEEE Trans. Softw. Eng."}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-70848-5_5","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,26]],"date-time":"2025-06-26T23:54:35Z","timestamp":1750982075000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-70848-5_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783319708478","9783319708485"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-70848-5_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}