{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,26]],"date-time":"2025-05-26T15:07:35Z","timestamp":1748272055526,"version":"3.37.3"},"reference-count":45,"publisher":"Springer Science and Business Media LLC","issue":"1","license":[{"start":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T00:00:00Z","timestamp":1453075200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T00:00:00Z","timestamp":1453075200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"funder":[{"DOI":"10.13039\/100000138","name":"U.S. Department of Education","doi-asserted-by":"publisher","id":[{"id":"10.13039\/100000138","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["Software Qual J"],"published-print":{"date-parts":[[2017,3]]},"DOI":"10.1007\/s11219-015-9304-4","type":"journal-article","created":{"date-parts":[[2016,1,18]],"date-time":"2016-01-18T13:29:41Z","timestamp":1453123781000},"page":"7-48","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":8,"title":["Efficient and scalable omniscient debugging for model transformations"],"prefix":"10.1007","volume":"25","author":[{"given":"Jonathan","family":"Corley","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian P.","family":"Eddy","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eugene","family":"Syriani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeff","family":"Gray","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2016,1,18]]},"reference":[{"issue":"3","key":"9304_CR1","doi-asserted-by":"publisher","first-page":"261","DOI":"10.1007\/s10270-006-0027-7","volume":"5","author":"A Agrawal","year":"2006","unstructured":"Agrawal, A., Karsai, G., Neema, S., Shi, F., & Vizhanyo, A. (2006). The design of a language for model transformations. Journal of Software and Systems Modeling, 5(3), 261\u2013288.","journal-title":"Journal of Software and Systems Modeling"},{"issue":"4","key":"9304_CR2","doi-asserted-by":"publisher","first-page":"53:1","DOI":"10.1145\/2501654.2501667","volume":"45","author":"K Androutsopoulos","year":"2013","unstructured":"Androutsopoulos, K., Clark, D., Harman, M., Krinke, J., & Tratt, L. (2013). State-based model slicing: A survey. ACM Computing Surveys, 45(4), 53:1\u201353:36.","journal-title":"ACM Computing Surveys"},{"key":"9304_CR3","unstructured":"AToM3. (2015). AToM3 Project Page. University of McGill Modelling, Simulation, and Design Lab. http:\/\/atom3.cs.mcgill.ca . Accessed 9 Sept 2015."},{"key":"9304_CR4","unstructured":"Basciani, F., Di Rocco, J., Di Ruscio, D., Di Salle, A., Iovino, L., & Pierantonio, A.(2014) MDEForge: an extensible web-based modeling platform. In Proceedings of the 2nd international workshop on model-driven engineering on and for the cloud co-located with the 17th international conference on model-driven engineering languages and systems (pp. 66\u201375)."},{"key":"9304_CR5","doi-asserted-by":"crossref","unstructured":"Bousse, E., Corley, J., Combemale, B., Gray, J., & Baudry, B. (2015) Supporting efficient and advanced omniscient debugging for xDSMLs. In Proceedings of the 8th international conference on software language engineering (accepted for publication).","DOI":"10.1145\/2814251.2814262"},{"key":"9304_CR6","unstructured":"Burgue\u00f1o, L., Troya, J., Wimmer, M., & Vallecillo, A. (2015). Parallel in-place model transformations with LinTra. In Proceedings of the 3rd workshop on scalable model driven engineering part of the software technologies: applications and foundations federation of conferences (pp. 52\u201362)."},{"key":"9304_CR7","doi-asserted-by":"crossref","unstructured":"Clinger, H., & Ost, E. (1988). Implementation strategies for continuations. In Proceedings of the ACM conference on LISP and functional programming (pp. 124\u2013131).","DOI":"10.1145\/62678.62692"},{"key":"9304_CR8","doi-asserted-by":"crossref","unstructured":"Combemale, B., Deantoni, J., Baudry, B., France, R., J\u00e9z\u00e9quel, J. M., & Gray, J. (2014). Globalizing modeling languages. IEEE Computer, 10\u201313.","DOI":"10.1109\/MC.2014.147"},{"key":"9304_CR9","unstructured":"Corley, J. (2014). Exploring omniscient debugging for model transformations. In ACM student research competition at the 17th international conference on model-driven engineering, languages, and systems (pp. 63\u201368)."},{"key":"9304_CR10","doi-asserted-by":"crossref","unstructured":"Corley, J., Eddy, B., & Gray, J. (2014). Towards efficient and scalable omniscient debugging for model transformations. In Proceedings of the 14th workshop on domain-specific modeling (pp. 13\u201318).","DOI":"10.1145\/2688447.2688450"},{"key":"9304_CR11","volume-title":"Modern software engineering methodologies for mobile and cloud environments","author":"J Corley","year":"2016","unstructured":"Corley, J., Syriani, E., Ergin, H., & Van Mierlo, S. (2016). Cloud-based multi-view modeling environments. In A. M. Cruz & S. Paiva (Eds.), Modern software engineering methodologies for mobile and cloud environments. Pennsylvania: IGI Global."},{"issue":"3","key":"9304_CR12","doi-asserted-by":"publisher","first-page":"621","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K Czarnecki","year":"2006","unstructured":"Czarnecki, K., & Helsen, S. (2006). Feature-based survey of model transformation approaches. IBM Systems Journal, 45(3), 621\u2013645.","journal-title":"IBM Systems Journal"},{"key":"9304_CR13","doi-asserted-by":"crossref","unstructured":"Di Ruscio, D., Kolovos, D., & Matragkas, N. (2013). Scalability in model driven engineering: BigMDE\u201913 workshop summary. In Proceedings of the first workshop on scalability in model driven engineering (pp. 1\u20132).","DOI":"10.1145\/2487766.2487767"},{"key":"9304_CR14","unstructured":"Engblom, J. (2012). A review of reverse debugging. In System, software, SoC and silicon debug conference (pp. 1\u20136)."},{"key":"9304_CR48","unstructured":"Ergin, H., & Syriani, E. (2014). Atompm solution for the IMDB case study. In Proceedings of the 7th transformation tool contest part of the software technologies: Applications and foundations (pp. 134\u2013138)."},{"key":"9304_CR15","doi-asserted-by":"crossref","unstructured":"Gray, J., Tolvanen, J-P, Kelly, S., Gokhale, A., Neema, S., & Sprinkle, J. (2007). Domain-specific modeling. Handbook of Dynamic System Modeling, 7\/1-7\/20.","DOI":"10.1201\/9781420010855.pt2"},{"key":"9304_CR17","doi-asserted-by":"crossref","unstructured":"Henkler, S., Meyer, J., Schafer, W., von Detten, M., & Nickel, U. (2010). Legacy component integration by the Fujaba real-time tool suite. In ACM\/IEEE 32nd international conference on software engineering (pp. 267\u2013270).","DOI":"10.1145\/1810295.1810349"},{"key":"9304_CR46","unstructured":"Horn, T., Krause, C., & Tichy, M. (2014). The ttc 2014 movie database case. In Proceedings of the 7th transformation tool contest part of the software technologies: Applications and foundations (pp. 93\u201397)."},{"key":"9304_CR18","unstructured":"IEEE. (2002). IEEE 610-12.1990 IEEE standard glossary of software engineering terminology. IEEE. https:\/\/standards.ieee.org\/findstds\/standard\/610.12-1990.html . Accessed 19 Sept 2015."},{"issue":"1\u20132","key":"9304_CR19","doi-asserted-by":"publisher","first-page":"31","DOI":"10.1016\/j.scico.2007.08.002","volume":"72","author":"F Jouault","year":"2008","unstructured":"Jouault, F., Allilaire, F., B\u00e9zivin, J., & Kurtev, I. (2008). ATL: A model transformation tool. Science of Computer Programming, 72(1\u20132), 31\u201339.","journal-title":"Science of Computer Programming"},{"key":"9304_CR20","doi-asserted-by":"crossref","unstructured":"Jouault, F., & Kurtev, I. (2006). Transforming models with ATL. In Satellite events at the MoDELS 2005 conference (pp. 128\u2013138).","DOI":"10.1007\/11663430_14"},{"key":"9304_CR21","doi-asserted-by":"crossref","unstructured":"Kolovos, D. S., Rose, L. M., Matragkas, N., Paige, R. F., Guerra, E., Cuadrado, J. S., et al. (2013). A research roadmap towards achieving scalability in model driven engineering. In Proceedings of the workshop on scalability in model-driven engineering (pp. 1\u201310).","DOI":"10.1145\/2487766.2487768"},{"issue":"4","key":"9304_CR22","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10270-006-0017-9","volume":"5","author":"T K\u00fchne","year":"2006","unstructured":"K\u00fchne, T. (2006). Matters of (meta-) modeling. Journal of Software and Systems Modeling, 5(4), 369\u2013385.","journal-title":"Journal of Software and Systems Modeling"},{"key":"9304_CR23","unstructured":"Lewis, B. (2003). Debugging backwards in time. In Proceedings of the fifth international workshop on automated debugging."},{"key":"9304_CR24","doi-asserted-by":"crossref","unstructured":"Lienhard, A., Fierz, J., & Nierstrasz, O. (2009) Flow-centric, back-in-time debugging. In Proceedings of objects, components, models and patterns (pp. 272\u2013288).","DOI":"10.1007\/978-3-642-02571-6_16"},{"key":"9304_CR25","doi-asserted-by":"crossref","unstructured":"Lienhard, A., G\u00eerba, T., & Nierstrasz, O. (2008). Practical object-oriented back-in-time debugging. In Proceedings of the 22nd European conference on object-oriented programming (pp. 592\u2013615).","DOI":"10.1007\/978-3-540-70592-5_25"},{"key":"9304_CR26","doi-asserted-by":"publisher","DOI":"10.1007\/s10270-014-0429-x","author":"L L\u00facio","year":"2016","unstructured":"L\u00facio, L., Amrani, M., Dingel, J., Lambers, L., Salay, R., Selim, G., et al. (2016). Model transformation intents and their properties. Journal of Software and Systems Modeling. doi: 10.1007\/s10270-014-0429-x .","journal-title":"Journal of Software and Systems Modeling"},{"key":"9304_CR27","doi-asserted-by":"crossref","unstructured":"Mannadiar, R., & Vangheluwe, H. (2011). Debugging in domain-specific modelling. In Software language engineering (pp. 276\u2013285).","DOI":"10.1007\/978-3-642-19440-5_17"},{"issue":"6","key":"9304_CR28","doi-asserted-by":"publisher","first-page":"78","DOI":"10.1109\/MS.2009.169","volume":"26","author":"G Pothier","year":"2009","unstructured":"Pothier, G., & Tanter, E. (2009). Back to the future: Omniscient debugging. IEEE Software, 26(6), 78\u201385.","journal-title":"IEEE Software"},{"key":"9304_CR29","unstructured":"QVT. (2015). Meta Object Facility (MOF) 2.0 Query\/View\/Transformation (QVT) version 1.2. http:\/\/www.omg.org\/spec\/QVT\/1.2 . Accessed 19 Sept 2015."},{"key":"9304_CR30","doi-asserted-by":"crossref","unstructured":"Sch\u00f6nb\u00f6ck, J. (2012). Testing and debugging of model transformations. Dissertation. The Vienna University of Technology. http:\/\/publik.tuwien.ac.at\/showentry.php?ID=209018&lang=2 . Accessed 19 Sept 2015.","DOI":"10.1109\/APSEC.2012.56"},{"key":"9304_CR31","unstructured":"Sch\u00f6nb\u00f6ck, J., Kappel, G., Kusel, A., Retschitzegger, W., Schwinger, W., & Wimmer, M. (2009). Catch me if you can\u2014debugging support for model transformations. In Proceedings of the 12th international conference on model-driven engineering, languages, and systems (pp. 5\u201320)."},{"key":"9304_CR32","unstructured":"Seifert, M., & Katscher, S. (2008). Debugging triple graph grammar-based model transformations. In Proceedings of 6th international Fujaba days (pp. 19\u201322)."},{"issue":"5","key":"9304_CR33","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1109\/MS.2003.1231146","volume":"20","author":"B Selic","year":"2003","unstructured":"Selic, B. (2003). The pragmatics of model-driven development. IEEE Software, 20(5), 19\u201325.","journal-title":"IEEE Software"},{"key":"9304_CR34","doi-asserted-by":"crossref","unstructured":"Steel, J., & Lawley, M. (2004). Model-based test driven development of the Tefkat model transformation engine. In Proceedings of the 15th IEEE international symposium on software reliability engineering (pp. 151\u2013160).","DOI":"10.1109\/ISSRE.2004.23"},{"issue":"1","key":"9304_CR35","doi-asserted-by":"publisher","first-page":"7","DOI":"10.1007\/s10270-008-0109-9","volume":"9","author":"P Stevens","year":"2010","unstructured":"Stevens, P. (2010). Bidirectional model transformations in QVT: Semantic issues and open questions. Journal of Software and Systems Modeling, 9(1), 7\u201320.","journal-title":"Journal of Software and Systems Modeling"},{"issue":"2","key":"9304_CR36","doi-asserted-by":"publisher","first-page":"387","DOI":"10.1007\/s10270-011-0205-0","volume":"12","author":"E Syriani","year":"2011","unstructured":"Syriani, E., & Vangheluwe, H. (2011). A modular timed model transformation language. Journal of Software and Systems Modeling, 12(2), 387\u2013414.","journal-title":"Journal of Software and Systems Modeling"},{"issue":"3","key":"9304_CR37","doi-asserted-by":"publisher","first-page":"1215","DOI":"10.1007\/s10270-013-0370-4","volume":"14","author":"E Syriani","year":"2015","unstructured":"Syriani, E., Vangheluwe, H., & LaShomb, B. (2015). T-Core: A framework for custom-built model transformation engines. Journal of Software and Systems Modeling, 14(3), 1215\u20131243.","journal-title":"Journal of Software and Systems Modeling"},{"key":"9304_CR38","unstructured":"Syriani, E., Vangheluwe, H., Mannadiar, R., Hansen, C., Van Mierlo, S., & Ergin, H. (2013). AtomPM: A web-based modeling environment. In Joint Proceedings of MODELS invited talks, demonstration session, poster session, and ACM student research competition co-located with the 16th international conference on model driven engineering languages and systems."},{"key":"9304_CR39","doi-asserted-by":"crossref","unstructured":"Sz\u00e1rnyas, G., Izs\u00f3, B., R\u00e1th, I., Harmath, D., Bergmann, G., & Varr\u00f3, D. (2014). IncQuery-D: A distributed incremental model query framework in the cloud. In Proceedings of the ACM\/IEEE 17th international conference model-driven engineering languages and systems (pp. 653\u2013669).","DOI":"10.1007\/978-3-319-11653-2_40"},{"key":"9304_CR40","doi-asserted-by":"crossref","unstructured":"Taentzer, G. (2003). AGG: A graph transformation environment for modeling and validation of software. In Proceedings of the second international workshop on applications of graph transformations with industrial relevance (pp. 446\u2013453).","DOI":"10.1007\/978-3-540-25959-6_35"},{"key":"9304_CR41","doi-asserted-by":"crossref","unstructured":"Ujhelyi, Z., Horvath, A., & Varro, D. (2012). Dynamic backward slicing of model transformations. In IEEE fifth international conference on software testing, verification and validation (pp. 1\u201310).","DOI":"10.1109\/ICST.2012.80"},{"key":"9304_CR42","unstructured":"Van Mierlo, S. (2014). Explicit modelling of model debugging and experimentation. In Proceedings of doctoral symposium co-located with the 17th international conference on model driven engineering languages and systems."},{"issue":"3","key":"9304_CR43","doi-asserted-by":"publisher","first-page":"214","DOI":"10.1016\/j.scico.2007.05.004","volume":"68","author":"D Varr\u00f3","year":"2007","unstructured":"Varr\u00f3, D., & Balogh, A. (2007). The model transformation language of the VIATRA2 framework. Science of Computer Programming, 68(3), 214\u2013234.","journal-title":"Science of Computer Programming"},{"issue":"9","key":"9304_CR44","doi-asserted-by":"publisher","first-page":"566","DOI":"10.1145\/362342.362360","volume":"16","author":"MV Zelkowitz","year":"1973","unstructured":"Zelkowitz, M. V. (1973). Reversible execution. Communications of the ACM, 16(9), 566.","journal-title":"Communications of the ACM"}],"container-title":["Software Quality Journal"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9304-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11219-015-9304-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9304-4","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11219-015-9304-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,6,1]],"date-time":"2022-06-01T21:48:27Z","timestamp":1654120107000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11219-015-9304-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2016,1,18]]},"references-count":45,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2017,3]]}},"alternative-id":["9304"],"URL":"https:\/\/doi.org\/10.1007\/s11219-015-9304-4","relation":{},"ISSN":["0963-9314","1573-1367"],"issn-type":[{"type":"print","value":"0963-9314"},{"type":"electronic","value":"1573-1367"}],"subject":[],"published":{"date-parts":[[2016,1,18]]},"assertion":[{"value":"18 January 2016","order":1,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}