{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T14:55:38Z","timestamp":1743087338908,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642106187"},{"type":"electronic","value":"9783642106194"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-10619-4_18","type":"book-chapter","created":{"date-parts":[[2009,11,16]],"date-time":"2009-11-16T05:01:57Z","timestamp":1258347717000},"page":"143-150","source":"Crossref","is-referenced-by-count":2,"title":["Abstracting Models from Execution Traces for Performing Formal Verification"],"prefix":"10.1007","author":[{"given":"Thierry","family":"Bodhuin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Federico","family":"Pagnozzi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Antonella","family":"Santone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria","family":"Tortorella","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Maria Luisa","family":"Villani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"issue":"3","key":"18_CR1","doi-asserted-by":"publisher","first-page":"537","DOI":"10.1006\/jcss.1999.1660","volume":"59","author":"R. Barbuti","year":"1999","unstructured":"Barbuti, R., De Francesco, N., Santone, A., Vaglini, G.: Selective mu-calculus and Formula-Based Abstractions of Transition Systems. Journal of Computer and System Sciences\u00a059(3), 537\u2013556 (1999)","journal-title":"Journal of Computer and System Sciences"},{"key":"18_CR2","unstructured":"Bodhuin, T., Tortorella, M.: A Tool for static and dynamic Model extraction and Impact Analysis. In: Proc. of CSMR 2005, 9th European Conference on Software Maintenance and Reengineering, Manchester, UK, March 21-23 (2005)"},{"key":"18_CR3","doi-asserted-by":"crossref","unstructured":"Bodhuin, T., Di Penta, M., Troiano, L.: A Search-Based Approach for Dynamically Re-packaging of Downloadable Applications. In: IBM Centers for Advanced Studies Conference - CASCON 2007, Toronto, Canada, October 22 - 25 (2007)","DOI":"10.1145\/1321211.1321215"},{"key":"18_CR4","unstructured":"Bodhuin, T., Pagnozzi, F., Santone, A., Tortorella, M., Villani, M.L.: Abstracting Models from Execution Traces for Performing Formal Verification. Technical Report"},{"issue":"1","key":"18_CR5","doi-asserted-by":"publisher","first-page":"44","DOI":"10.1145\/321992.321996","volume":"24","author":"R.M. Burstall","year":"1977","unstructured":"Burstall, R.M., Darlington, J.: A Transformation System for Developing Recursive Programs. J. ACM\u00a024(1), 44\u201367 (1977)","journal-title":"J. ACM"},{"key":"18_CR6","doi-asserted-by":"publisher","first-page":"326","DOI":"10.1109\/FOSE.2007.15","volume-title":"Proc. of FOSE 2007, Future of Software Engineering","author":"G. Canfora","year":"2007","unstructured":"Canfora, G., Di Penta, M.: New Frontiers of Reverse Engineering. In: Proc. of FOSE 2007, Future of Software Engineering, pp. 326\u2013341. IEEE, Los Alamitos (2007)"},{"key":"18_CR7","volume-title":"Model Checking","author":"E.M. Clarke","year":"2000","unstructured":"Clarke, E.M., Grumberg, O., Peled, D.: Model Checking. MIT press, Cambridge (2000)"},{"issue":"3","key":"18_CR8","doi-asserted-by":"publisher","first-page":"215","DOI":"10.1145\/287000.287001","volume":"7","author":"J.E. Cook","year":"1998","unstructured":"Cook, J.E., Wolf, A.L.: Discovering models of software processes from event-based data. ACM Trans. Softw. Eng. Methodol.\u00a07(3), 215\u2013249 (1998)","journal-title":"ACM Trans. Softw. Eng. Methodol."},{"issue":"12","key":"18_CR9","doi-asserted-by":"publisher","first-page":"1037","DOI":"10.1007\/s002360050151","volume":"35","author":"N. De Francesco","year":"1998","unstructured":"De Francesco, N., Santone, A.: A Transformation System for Concurrent Processes. Acta informatica\u00a035(12), 1037\u20131073 (1998)","journal-title":"Acta informatica"},{"key":"18_CR10","volume-title":"Selective Profiling of Java Applications Using Dynamic Bytecode Instrumentation","author":"M. Dmiuiev","year":"2004","unstructured":"Dmiuiev, M.: Selective Profiling of Java Applications Using Dynamic Bytecode Instrumentation. IEEE, Los Alamitos (2004)"},{"key":"18_CR11","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":"L.M. 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.\u00a04961, pp. 101\u2013115. Springer, Heidelberg (2008)"},{"key":"18_CR12","first-page":"111","volume-title":"Proc. of ICSE 2009, 31st International Conference on Software Engineering","author":"I. Epifani","year":"2009","unstructured":"Epifani, I., Ghezzi, C., Mirandola, R.: Model Evolution by Runtime Adaptation. In: Proc. of ICSE 2009, 31st International Conference on Software Engineering, pp. 111\u2013121. IEEE, Los Alamitos (2009)"},{"issue":"5","key":"18_CR13","doi-asserted-by":"publisher","first-page":"685","DOI":"10.1016\/j.is.2006.05.001","volume":"32","author":"G. Greco","year":"2007","unstructured":"Greco, G., Guzzo, A., Manco, G., Sacc\u00e0, D.: Mining unconnected patterns in workflows. Inf. Syst.\u00a032(5), 685\u2013712 (2007)","journal-title":"Inf. Syst."},{"key":"18_CR14","unstructured":"Hollingsworth, J.K., Miller, B.P., Gonalves, M.J.R., Naim, O., Xu, Z., Zheng, Z.L.: MDL: A language and compiler for dynamic program instrumentation. In: Proc. of the 1997 International Conference on Parallel Architectures and Compilation Techniques (November 1997)"},{"issue":"3","key":"18_CR15","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/j.datak.2005.03.007","volume":"56","author":"M.H. Jansen-Vullers","year":"2006","unstructured":"Jansen-Vullers, M.H., van der Aalst, W.M.P., Rosemann, M.: Mining configurable enterprise information systems. Data Knowl. Eng.\u00a056(3), 195\u2013244 (2006)","journal-title":"Data Knowl. Eng."},{"key":"18_CR16","unstructured":"Java Instrumentation API, \n                    http:\/\/tinyurl.com\/3htevy"},{"key":"18_CR17","volume-title":"The Java Virtual Machine Specification","author":"T. Lindholm","year":"1999","unstructured":"Lindholm, T., Yellin, F.: The Java Virtual Machine Specification. Addison-Wesley, Reading (1999)"},{"key":"18_CR18","volume-title":"Communication and Concurrency","author":"R. Milner","year":"1989","unstructured":"Milner, R.: Communication and Concurrency. Prentice-Hall, Englewood Cliffs (1989)"},{"key":"18_CR19","unstructured":"Panzer, J.: Automatic Code Instrumentation. C\/C++ Users Journal (1999)"},{"key":"18_CR20","doi-asserted-by":"crossref","first-page":"1","DOI":"10.4018\/978-1-87828-987-2","volume-title":"Strategic Information Technology: Opportunities for Competitive Advantage","author":"R. Papp","year":"2001","unstructured":"Papp, R.: Introduction to Strategic Alignment. In: Papp, R. (ed.) Strategic Information Technology: Opportunities for Competitive Advantage, pp. 1\u201324. Idea Group, Hershey (2001)"},{"issue":"20","key":"18_CR21","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1016\/0743-1066(94)90028-0","volume":"19","author":"A. Pettorossi","year":"1994","unstructured":"Pettorossi, A., Proietti, M.: Transformation of Logic Programs: Foundations and Techniques. J. Logic Programming\u00a019(20), 261\u2013320 (1994)","journal-title":"J. Logic Programming"},{"key":"18_CR22","series-title":"Lecture Notes in Computer Science","volume-title":"Concurrency: Theory, Language, and Architecture","author":"C. Stirling","year":"1989","unstructured":"Stirling, C.: An Introduction to Modal and Temporal Logics for CCS. In: Boissonnat, J.-D., Laumond, J.-P. (eds.) Concurrency: Theory, Language, and Architecture. LNCS, vol.\u00a0391, Springer, Heidelberg (1989)"},{"key":"18_CR23","unstructured":"van der Aalst, W.M.P., Rubin, V., Van Dongen, B.F., Kindler, E., Gunther, C.W.: Process Mining: A Two-Step Approach using Transition Systems and Regions. In: BPM Center Report BPM-06-30 (2006), \n                    http:\/\/is.tm.tue.nl\/staff\/wvdaalst\/publications\/p359.pdf"}],"container-title":["Communications in Computer and Information Science","Advances in Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-10619-4_18","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,27]],"date-time":"2023-01-27T22:11:45Z","timestamp":1674857505000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-642-10619-4_18"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642106187","9783642106194"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-10619-4_18","relation":{},"ISSN":["1865-0929","1865-0937"],"issn-type":[{"type":"print","value":"1865-0929"},{"type":"electronic","value":"1865-0937"}],"subject":[],"published":{"date-parts":[[2009]]}}}