{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,19]],"date-time":"2026-09-19T04:26:16Z","timestamp":1789791976739,"version":"4.0.1"},"publisher-location":"Cham","reference-count":13,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319747293","type":"print"},{"value":"9783319747309","type":"electronic"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"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":[[2018]]},"DOI":"10.1007\/978-3-319-74730-9_1","type":"book-chapter","created":{"date-parts":[[2018,1,22]],"date-time":"2018-01-22T05:34:11Z","timestamp":1516599251000},"page":"3-13","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["Injecting Execution Traces into a Model-Driven Framework for Program Analysis"],"prefix":"10.1007","author":[{"given":"Thibault","family":"B\u00e9ziers la Fosse","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Massimo","family":"Tisi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Jean-Marie","family":"Mottu","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2018,1,23]]},"reference":[{"key":"1_CR1","doi-asserted-by":"crossref","unstructured":"Acharya, M., Robinson, B.: Practical change impact analysis based on static program slicing for industrial software systems. In: Proceedings of the 33rd International Conference on Software Engineering, pp. 746\u2013755. ACM (2011)","DOI":"10.1145\/1985793.1985898"},{"key":"1_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"230","DOI":"10.1007\/978-3-319-09195-2_15","volume-title":"Modelling Foundations and Applications","author":"A Benelallam","year":"2014","unstructured":"Benelallam, A., G\u00f3mez, A., Suny\u00e9, G., Tisi, M., Launay, D.: Neo4EMF, a scalable persistence layer for EMF models. In: Cabot, J., Rubin, J. (eds.) ECMFA 2014. LNCS, vol. 8569, pp. 230\u2013241. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-09195-2_15"},{"issue":"2","key":"1_CR3","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/s10270-005-0079-0","volume":"4","author":"J B\u00e9zivin","year":"2005","unstructured":"B\u00e9zivin, J.: On the unification power of models. Softw. Syst. Model. 4(2), 171\u2013188 (2005)","journal-title":"Softw. Syst. Model."},{"issue":"8","key":"1_CR4","doi-asserted-by":"crossref","first-page":"1012","DOI":"10.1016\/j.infsof.2014.04.007","volume":"56","author":"H Bruneliere","year":"2014","unstructured":"Bruneliere, H., Cabot, J., Dup\u00e9, G., Madiot, F.: Modisco: a model driven reverse engineering framework. Inf. Softw. Technol. 56(8), 1012\u20131032 (2014)","journal-title":"Inf. Softw. Technol."},{"key":"1_CR5","unstructured":"Ernst, M.D.: Static and dynamic analysis: synergy and duality. In: ICSE Workshop on Dynamic Analysis, WODA 2003, pp. 24\u201327 (2003)"},{"key":"1_CR6","series-title":"Advances in Intelligent Systems and Computing","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1007\/978-3-319-11933-5_13","volume-title":"Proceedings of the 3rd International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2014","author":"A Gosain","year":"2015","unstructured":"Gosain, A., Sharma, G.: A survey of dynamic program analysis techniques and tools. In: Satapathy, S.C., Biswal, B.N., Udgata, S.K., Mandal, J.K. (eds.) Proceedings of the 3rd International Conference on Frontiers of Intelligent Computing: Theory and Applications (FICTA) 2014. AISC, vol. 327, pp. 113\u2013122. Springer, Cham (2015). https:\/\/doi.org\/10.1007\/978-3-319-11933-5_13"},{"key":"1_CR7","doi-asserted-by":"crossref","unstructured":"Law, J., Rothermel, G.: Whole program path-based dynamic impact analysis. In: 2003 Proceedings of the 25th International Conference on Software Engineering, pp. 308\u2013318 (2003)","DOI":"10.1109\/ICSE.2003.1201210"},{"key":"1_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"77","DOI":"10.1007\/978-3-642-24485-8_7","volume-title":"Model Driven Engineering Languages and Systems","author":"JE Pag\u00e1n","year":"2011","unstructured":"Pag\u00e1n, J.E., Cuadrado, J.S., Molina, J.G.: Morsa: a scalable approach for persisting and accessing large models. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 77\u201392. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24485-8_7"},{"issue":"9","key":"1_CR9","doi-asserted-by":"crossref","first-page":"1155","DOI":"10.1002\/spe.2346","volume":"46","author":"R Pawlak","year":"2016","unstructured":"Pawlak, R., Monperrus, M., Petitprez, N., Noguera, C., Seinturier, L.: SPOON: a library for implementing analyses and transformations of Java source code. Softw. Pract. Exp. 46(9), 1155\u20131179 (2016)","journal-title":"Softw. Pract. Exp."},{"key":"1_CR10","doi-asserted-by":"crossref","unstructured":"Ren, X., Shah, F., Tip, F., Ryder, B.G., Chesley, O.: Chianti: a tool for change impact analysis of Java programs, vol. 39, no. 10, pp. 432\u2013448 (2004)","DOI":"10.1145\/1035292.1029012"},{"key":"1_CR11","unstructured":"Sherwood, K.D., Murphy, G.C.: Reducing code navigation effort with differential code coverage. Department of Computer Science, University of British Columbia, Technical report (2008)"},{"key":"1_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"623","DOI":"10.1007\/978-3-642-24485-8_46","volume-title":"Model Driven Engineering Languages and Systems","author":"D Wagelaar","year":"2011","unstructured":"Wagelaar, D., Tisi, M., Cabot, J., Jouault, F.: Towards a general composition semantics for rule-based model transformation. In: Whittle, J., Clark, T., K\u00fchne, T. (eds.) MODELS 2011. LNCS, vol. 6981, pp. 623\u2013637. Springer, Heidelberg (2011). https:\/\/doi.org\/10.1007\/978-3-642-24485-8_46"},{"key":"1_CR13","unstructured":"Weiser, M.: Program slicing. In: Proceedings of the 5th International Conference on Software Engineering, pp. 439\u2013449. IEEE Press (1981)"}],"container-title":["Lecture Notes in Computer Science","Software Technologies: Applications and Foundations"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-74730-9_1","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,9]],"date-time":"2019-10-09T13:02:57Z","timestamp":1570626177000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-74730-9_1"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783319747293","9783319747309"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-74730-9_1","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018]]}}}