{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,19]],"date-time":"2025-11-19T06:48:37Z","timestamp":1763534917402,"version":"3.33.0"},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540752080"},{"type":"electronic","value":"9783540752097"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-75209-7_40","type":"book-chapter","created":{"date-parts":[[2007,9,11]],"date-time":"2007-09-11T07:42:37Z","timestamp":1189496557000},"page":"589-604","source":"Crossref","is-referenced-by-count":17,"title":["Forensic Debugging of Model Transformations"],"prefix":"10.1007","author":[{"given":"Mark","family":"Hibberd","sequence":"first","affiliation":[]},{"given":"Michael","family":"Lawley","sequence":"additional","affiliation":[]},{"given":"Kerry","family":"Raymond","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"40_CR1","doi-asserted-by":"publisher","first-page":"25","DOI":"10.1145\/1006147.1006154","volume-title":"Proceedings of the ACM SIGSOFT\/SIGPLAN software engineering symposium on high-level debugging","author":"R. Sedlmeyer","year":"1983","unstructured":"Sedlmeyer, R., Thompson, W., Johnson, P.: Knowledge-based fault localization in debugging: preliminary draft. In: Proceedings of the ACM SIGSOFT\/SIGPLAN software engineering symposium on high-level debugging, vol.\u00a08(4), pp. 25\u201331. ACM Press, New York (1983)"},{"unstructured":"Ducass\u00e9, M., Emde, A.M.: A review of automated debugging systems: knowledge, strategies and techniques. In: Proceedings of the 10th international conference on Software engineering, pp. 162\u2013171 (1988)","key":"40_CR2"},{"doi-asserted-by":"crossref","unstructured":"Jones, J., Harrold, M., Stasko, J.: Visualization of test information to assist fault localization. In: Proceedings of the 24th international conference on Software engineering, pp. 467\u2013477 (2002)","key":"40_CR3","DOI":"10.1145\/581396.581397"},{"doi-asserted-by":"crossref","unstructured":"Mens, T., Czarnecki, K., Van Gorp, P.: A Taxonomy of Model Transformation. In: International Workshop on Graph and Model Transformation (2005)","key":"40_CR4","DOI":"10.1016\/j.entcs.2005.10.021"},{"unstructured":"Czarnecki, K., Helsen, S.: Classification of Model Transformation Approaches. In: Proceedings of the 2nd Object-Oriented Programming, Systems, Languages and Applications (OOPSLA) Workshop on Generative Techniques in the Context of the Model Driven Architecture (2003)","key":"40_CR5"},{"issue":"3","key":"40_CR6","doi-asserted-by":"publisher","first-page":"622","DOI":"10.1147\/sj.453.0621","volume":"45","author":"K. Czarnecki","year":"2006","unstructured":"Czarnecki, K., Helsen, S.: Feature-based survey of model transformation approaches. IBM Systems Journal\u00a045(3), 622 (2006)","journal-title":"IBM Systems Journal"},{"unstructured":"Eclipse Foundation: Eclipse Modeling Framework Project (EMF) (2007) (accessed February 20, 2007), Available at: http:\/\/www.eclipse.org\/modeling\/emf\/","key":"40_CR7"},{"key":"40_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"139","DOI":"10.1007\/11663430_15","volume-title":"Satellite Events at the MoDELS 2005 Conference","author":"M. Lawley","year":"2006","unstructured":"Lawley, M., Steel, J.: Practical Declarative Model Transformation With Tefkat. In: Bruel, J.-M. (ed.) MoDELS 2005. LNCS, vol.\u00a03844, p. 139. Springer, Heidelberg (2006)"},{"unstructured":"Object Management Group: MOF 2.0 Query - Views - Transformations RFP. OMG Document ad\/2002-04-10 (April (2002)","key":"40_CR9"},{"unstructured":"Miller, J., Mukerji, J., et al.: MDA Guide Version 1.0.1. OMG Document omg\/2003-06-01 (June 2003)","key":"40_CR10"},{"unstructured":"DSTC-IBM-CBOP: MOF 2.0 Query\/Views\/Transformations, OMG Document ad\/2004-01-06 (January 2004) (second revised submission)","key":"40_CR11"},{"key":"40_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-45832-8_9","volume-title":"Graph Transformation","author":"A. Gerber","year":"2002","unstructured":"Gerber, A., Lawley, M., Raymond, K., Steel, J., Wood, A.: Transformation: The Missing Link of MDA. In: Corradini, A., Ehrig, H., Kreowski, H.-J., Rozenberg, G. (eds.) ICGT 2002. LNCS, vol.\u00a02505, Springer, Heidelberg (2002)"},{"issue":"8","key":"40_CR13","doi-asserted-by":"publisher","first-page":"22","DOI":"10.1145\/1036474.1036486","volume":"2","author":"S. Bourne","year":"2004","unstructured":"Bourne, S.: A conversation with Bruce Lindsay. Queue\u00a02(8), 22\u201333 (2004)","journal-title":"Queue"},{"issue":"7","key":"40_CR14","doi-asserted-by":"publisher","first-page":"446","DOI":"10.1145\/358557.358577","volume":"25","author":"M. Weiser","year":"1982","unstructured":"Weiser, M.: Programmers use slicing when debugging. Communications of the ACM\u00a025(7), 446\u2013452 (1982)","journal-title":"Communications of the ACM"},{"issue":"2","key":"40_CR15","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1145\/1050849.1050865","volume":"30","author":"B. Xu","year":"2005","unstructured":"Xu, B., Qian, J., Zhang, X., Wu, Z., Chen, L.: A brief survey of program slicing. ACM SIGSOFT Software Engineering Notes\u00a030(2), 1\u201336 (2005)","journal-title":"ACM SIGSOFT Software Engineering Notes"},{"key":"40_CR16","doi-asserted-by":"publisher","first-page":"299","DOI":"10.1145\/582153.582185","volume-title":"Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages","author":"E. Shapiro","year":"1982","unstructured":"Shapiro, E.: Algorithmic program diagnosis. In: Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, pp. 299\u2013308. ACM Press, New York (1982)"},{"key":"40_CR17","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/1192.001.0001","volume-title":"Algorithmic Program DeBugging","author":"E. Shapiro","year":"1983","unstructured":"Shapiro, E.: Algorithmic Program DeBugging. MIT Press, Cambridge, MA, USA (1983)"},{"issue":"4","key":"40_CR18","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1145\/161494.161498","volume":"1","author":"P. Fritzson","year":"1992","unstructured":"Fritzson, P., Shahmehri, N., Kamkar, M., Gyimothy, T.: Generalized algorithmic debugging and testing. ACM Letters on Programming Languages and Systems (LOPLAS)\u00a01(4), 303\u2013322 (1992)","journal-title":"ACM Letters on Programming Languages and Systems (LOPLAS)"},{"unstructured":"Naish, L.: Declarative Debugging of Lazy Functional Programs. Dept. of Computer Science, University of Melbourne (1992)","key":"40_CR19"},{"unstructured":"Naish, L.: A Declarative Debugging Scheme. Department of Computer Science, University of Melbourne (1995)","key":"40_CR20"},{"doi-asserted-by":"crossref","unstructured":"Hangal, S., Lam, M.: Tracking down software bugs using automatic anomaly detection. In: Proceedings of the 24th International Conference on Software Engineering, pp. 291\u2013301 (2002)","key":"40_CR21","DOI":"10.1145\/581376.581377"},{"key":"40_CR22","doi-asserted-by":"publisher","first-page":"286","DOI":"10.1145\/1081706.1081753","volume-title":"Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering","author":"C. Liu","year":"2005","unstructured":"Liu, C., Yan, X., Fei, L., Han, J., Midkiff, S.: SOBER: Statistical Model-based Bug Localization. In: Proceedings of the 10th European software engineering conference held jointly with 13th ACM SIGSOFT international symposium on Foundations of software engineering, pp. 286\u2013295. ACM Press, New York (2005)"},{"key":"40_CR23","doi-asserted-by":"publisher","first-page":"30","DOI":"10.1109\/ASE.2003.1240292","volume-title":"Proceedings 18th IEEE International Conference on Automated Software Engineering, 2003","author":"M. Renieres","year":"2003","unstructured":"Renieres, M., Reiss, S.: Fault localization with nearest neighbor queries. In: Proceedings 18th IEEE International Conference on Automated Software Engineering, 2003, pp. 30\u201339. IEEE Computer Society Press, Los Alamitos (2003)"},{"doi-asserted-by":"crossref","unstructured":"Agrawal, H., Horgan, J.R., London, S., Wong, W.E.: Fault localization using execution slices and dataflow tests. In: Proceedings Sixth International Symposium on Software Reliability Engineering, pp. 143\u2013151 (1995)","key":"40_CR24","DOI":"10.1109\/ISSRE.1995.497652"},{"doi-asserted-by":"crossref","unstructured":"Zhang, X., Gupta, N., Gupta, R.: Locating faults through automated predicate switching. In: International Conference on Software Engineering, pp. 272\u2013281 (2006)","key":"40_CR25","DOI":"10.1145\/1134285.1134324"}],"container-title":["Lecture Notes in Computer Science","Model Driven Engineering Languages and Systems"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-75209-7_40.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,20]],"date-time":"2025-01-20T23:12:27Z","timestamp":1737414747000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-75209-7_40"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540752080","9783540752097"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-75209-7_40","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}