{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,30]],"date-time":"2026-01-30T05:22:06Z","timestamp":1769750526361,"version":"3.49.0"},"reference-count":36,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2012,5,9]],"date-time":"2012-05-09T00:00:00Z","timestamp":1336521600000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Autom Softw Eng"],"published-print":{"date-parts":[[2012,12]]},"DOI":"10.1007\/s10515-012-0107-6","type":"journal-article","created":{"date-parts":[[2012,5,8]],"date-time":"2012-05-08T13:46:01Z","timestamp":1336484761000},"page":"459-490","source":"Crossref","is-referenced-by-count":12,"title":["Vdiff: a program differencing algorithm for Verilog hardware description language"],"prefix":"10.1007","volume":"19","author":[{"given":"Adam","family":"Duley","sequence":"first","affiliation":[]},{"given":"Chris","family":"Spandikow","sequence":"additional","affiliation":[]},{"given":"Miryung","family":"Kim","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2012,5,9]]},"reference":[{"key":"107_CR1","first-page":"2","volume-title":"ASE\u00a0\u201904","author":"T. Apiwattanapong","year":"2004","unstructured":"Apiwattanapong, T., Orso, A., Harrold, M.J.: A differencing algorithm for object-oriented programs. In: ASE\u00a0\u201904, pp.\u00a02\u201313. IEEE Comput. Soc., Washington (2004)"},{"issue":"3","key":"107_CR2","first-page":"112","volume":"20","author":"P.J. Ashenden","year":"2003","unstructured":"Ashenden, P.J.: Vhdl-200x: The next revision. IEEE Des. Test Comput. 20(3), 112\u2013113 (2003)","journal-title":"IEEE Des. Test Comput."},{"key":"107_CR3","doi-asserted-by":"crossref","first-page":"50","DOI":"10.1109\/MS.2009.26","volume":"26","author":"G. Canfora","year":"2009","unstructured":"Canfora, G., Cerulo, L., Penta, M.D.: Tracking your changes: A language-independent approach. IEEE Softw. 26, 50\u201357 (2009)","journal-title":"IEEE Softw."},{"key":"107_CR4","volume-title":"Introduction to Algorithms","author":"T.H. Cormen","year":"2001","unstructured":"Cormen, T.H., Leiserson, C.E., Rivest, R.L.: Introduction to Algorithms. McGraw-Hill, New York (2001)"},{"key":"107_CR5","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1145\/1287624.1287649","volume-title":"ESEC-FSE\u00a0\u201907","author":"R. Cottrell","year":"2007","unstructured":"Cottrell, R., Chang, J.J.C., Walker, R.J., Denzinger, J.: Determining detailed structural correspondence for generalization tasks. In: ESEC-FSE\u00a0\u201907, pp.\u00a0165\u2013174. ACM, New York (2007)"},{"key":"107_CR6","doi-asserted-by":"crossref","first-page":"214","DOI":"10.1145\/1453101.1453130","volume-title":"Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT \u201908\/FSE-16","author":"R. Cottrell","year":"2008","unstructured":"Cottrell, R., Walker, R.J., Denzinger, J.: Semi-automating small-scale source code reuse via structural correspondence. In: Proceedings of the 16th ACM SIGSOFT International Symposium on Foundations of Software Engineering, SIGSOFT \u201908\/FSE-16, pp.\u00a0214\u2013225. ACM, New York (2008)"},{"issue":"3","key":"107_CR7","doi-asserted-by":"crossref","first-page":"297","DOI":"10.2307\/1932409","volume":"26","author":"L.R. Dice","year":"1945","unstructured":"Dice, L.R.: Measures of the amount of ecologic association between species. Ecology 26(3), 297\u2013302 (1945)","journal-title":"Ecology"},{"key":"107_CR8","unstructured":"Duley, A., Spandikow, C., Kim, M.: Vdiff download. http:\/\/users.ece.utexas.edu\/~miryung\/software\/Vdiff.html"},{"key":"107_CR9","unstructured":"Eclipse EMF Compare Project description: http:\/\/www.eclipse.org\/emft\/projects\/compare"},{"issue":"11","key":"107_CR10","doi-asserted-by":"crossref","first-page":"18","DOI":"10.1109\/TSE.2007.70731","volume":"33","author":"B. Fluri","year":"2007","unstructured":"Fluri, B., W\u00fcrsch, M., Pinzger, M., Gall, H.C.: Change distilling\u2014tree differencing for fine-grained source code change extraction. IEEE Trans. Softw. Eng. 33(11), 18 (2007)","journal-title":"IEEE Trans. Softw. Eng."},{"key":"107_CR11","first-page":"62","volume-title":"Annual IEEE Symposium on Foundations of Computer Science","author":"V. Gupta","year":"1993","unstructured":"Gupta, V., Pratt, V.: Gates accept concurrent behavior. In: Annual IEEE Symposium on Foundations of Computer Science, pp.\u00a062\u201371 (1993)"},{"issue":"5","key":"107_CR12","doi-asserted-by":"crossref","first-page":"350","DOI":"10.1145\/359581.359603","volume":"20","author":"J.W. Hunt","year":"1977","unstructured":"Hunt, J.W., Szymanski, T.G.: A fast algorithm for computing longest common subsequences. Commun. ACM 20(5), 350\u2013353 (1977)","journal-title":"Commun. ACM"},{"key":"107_CR13","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1145\/1882362.1882405","volume-title":"Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, FoSER\u00a0\u201910","author":"S.K. Lahiri","year":"2010","unstructured":"Lahiri, S.K., Vaswani, K., Hoare, C.A.R.: Differential static analysis: opportunities, applications, and challenges. In: Proceedings of the FSE\/SDP Workshop on Future of Software Engineering Research, FoSER\u00a0\u201910, pp.\u00a0201\u2013204. ACM, New York (2010)"},{"issue":"2","key":"107_CR14","doi-asserted-by":"crossref","first-page":"183","DOI":"10.1023\/A:1022968013020","volume":"10","author":"G. Malpohl","year":"2000","unstructured":"Malpohl, G., Hunt, J.J., Tichy, W.F.: Renaming detection. Autom. Softw. Eng. 10(2), 183\u2013202 (2000)","journal-title":"Autom. Softw. Eng."},{"key":"107_CR15","doi-asserted-by":"crossref","first-page":"251","DOI":"10.1007\/BF01840446","volume":"1","author":"E.W. Myers","year":"1986","unstructured":"Myers, E.W.: An o(nd) difference algorithm and its variations. Algorithmica 1, 251\u2013266 (1986)","journal-title":"Algorithmica"},{"key":"107_CR16","first-page":"2","volume-title":"MSR\u201905","author":"I. Neamtiu","year":"2005","unstructured":"Neamtiu, I., Foster, J.S., Hicks, M.: Understanding source code evolution using abstract syntax tree matching. In: MSR\u201905, pp.\u00a02\u20136 (2005)"},{"key":"107_CR17","first-page":"13","volume-title":"ICSM\u00a0\u201903","author":"D. Ohst","year":"2003","unstructured":"Ohst, D., Welle, M., Kelter, U.: Difference tools for analysis and design documents. In: ICSM\u00a0\u201903, p.\u00a013. IEEE Comput. Soc., Washington (2003)"},{"key":"107_CR18","unstructured":"Opencore. http:\/\/opencores.org"},{"key":"107_CR19","doi-asserted-by":"crossref","first-page":"226","DOI":"10.1145\/1453101.1453131","volume-title":"SIGSOFT \u201908\/FSE-16","author":"S. Person","year":"2008","unstructured":"Person, S., Dwyer, M.B., Elbaum, S., P\u01ces\u01cereanu, C.S.: Differential symbolic execution. In: SIGSOFT \u201908\/FSE-16, pp.\u00a0226\u2013237. ACM, New York (2008)"},{"key":"107_CR20","first-page":"188","volume-title":"ICSM\u00a0\u201904","author":"S. Raghavan","year":"2004","unstructured":"Raghavan, S., Rohana, R., Leon, D., Podgurski, A., Augustine, V.: Dex: A semantic-graph differencing tool for studying changes in large code bases. In: ICSM\u00a0\u201904, pp.\u00a0188\u2013197. IEEE Comput. Soc., Washington (2004)"},{"key":"107_CR21","unstructured":"Ramp. http:\/\/ramp.eecs.berkeley.edu"},{"key":"107_CR22","first-page":"11","volume-title":"ICSE\u00a0\u201908","author":"S.P. Reiss","year":"2008","unstructured":"Reiss, S.P.: Tracking source locations. In: ICSE\u00a0\u201908, pp.\u00a011\u201320. ACM, New York (2008)"},{"issue":"4","key":"107_CR23","doi-asserted-by":"crossref","first-page":"82","DOI":"10.1109\/MDT.2003.1214355","volume":"20","author":"D.I. Rich","year":"2003","unstructured":"Rich, D.I.: The evolution of SystemVerilog. IEEE Des. Test Comput. 20(4), 82\u201384 (2003)","journal-title":"IEEE Des. Test Comput."},{"key":"107_CR24","unstructured":"Sat4J. http:\/\/www.sat4j.org\/"},{"key":"107_CR25","doi-asserted-by":"crossref","first-page":"947","DOI":"10.1145\/1370175.1370201","volume-title":"ICSE Companion\u00a0\u201908","author":"M. Schmidt","year":"2008","unstructured":"Schmidt, M., Gloetzner, T.: Constructing difference tools for models using the Sidiff framework. In: ICSE Companion\u00a0\u201908, pp.\u00a0947\u2013948. ACM, New York (2008)"},{"key":"107_CR26","first-page":"123","volume-title":"Lecture Notes in Computer Science","author":"M. Soto","year":"2006","unstructured":"Soto, M., M\u00fcnch, J.: Process model difference analysis for supporting process evolution. In: Lecture Notes in Computer Science, vol.\u00a04257, pp.\u00a0123\u2013134. Springer, Berlin (2006)"},{"key":"107_CR27","unstructured":"Subclipse. http:\/\/subclipse.tigris.org"},{"key":"107_CR28","first-page":"39","volume-title":"MSR\u00a0\u201908","author":"S. Sudakrishnan","year":"2008","unstructured":"Sudakrishnan, S., Madhavan, J., Whitehead, E.J. Jr., Renau, J.: Understanding bug fix patterns in Verilog. In: MSR\u00a0\u201908, pp.\u00a039\u201342. ACM, New York (2008)"},{"key":"107_CR29","volume-title":"The Verilog Hardware Description Language","author":"D. Thomas","year":"2002","unstructured":"Thomas, D., Moorby, P.: The Verilog Hardware Description Language. Kluwer Academic, Dordrecht (2002)"},{"key":"107_CR30","unstructured":"Tkdiff. http:\/\/sourceforge\/projects\/tkdiff"},{"key":"107_CR31","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1145\/1287624.1287665","volume-title":"ESEC-FSE \u201907: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering","author":"C. Treude","year":"2007","unstructured":"Treude, C., Berlik, S., Wenzel, S., Kelter, U.: Difference computation of large models. In: ESEC-FSE \u201907: Proceedings of the 6th Joint Meeting of the European Software Engineering Conference and the ACM SIGSOFT Symposium on the Foundations of Software Engineering, pp.\u00a0295\u2013304. ACM, New York (2007)"},{"key":"107_CR32","unstructured":"Veditor. http:\/\/veditor.sourceforge.net"},{"key":"107_CR33","first-page":"231","volume-title":"ASE\u00a0\u201906","author":"P. Wei\u00dfgerber","year":"2006","unstructured":"Wei\u00dfgerber, P., Diehl, S.: Identifying refactorings from source-code changes. In: ASE\u00a0\u201906, pp.\u00a0231\u2013240. IEEE Comput. Soc., Washington (2006)"},{"key":"107_CR34","first-page":"54","volume-title":"ASE\u00a0\u201905","author":"Z. Xing","year":"2005","unstructured":"Xing, Z., Stroulia, E.: Umldiff: an algorithm for object-oriented design differencing. In: ASE\u00a0\u201905, pp.\u00a054\u201365. ACM, New York (2005)"},{"issue":"7","key":"107_CR35","doi-asserted-by":"crossref","first-page":"739","DOI":"10.1002\/spe.4380210706","volume":"21","author":"W. Yang","year":"1991","unstructured":"Yang, W.: Identifying syntactic differences between two programs. Softw. Pract. Exp. 21(7), 739\u2013755 (1991)","journal-title":"Softw. Pract. Exp."},{"key":"107_CR36","first-page":"273","volume-title":"ASE","author":"Y. Yu","year":"2011","unstructured":"Yu, Y., Tun, T.T., Nuseibeh, B.: Specifying and detecting meaningful changes in programs. In: ASE, pp.\u00a0273\u2013282 (2011)"}],"container-title":["Automated Software Engineering"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-012-0107-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s10515-012-0107-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s10515-012-0107-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,28]],"date-time":"2019-06-28T11:31:31Z","timestamp":1561721491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s10515-012-0107-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,5,9]]},"references-count":36,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2012,12]]}},"alternative-id":["107"],"URL":"https:\/\/doi.org\/10.1007\/s10515-012-0107-6","relation":{},"ISSN":["0928-8910","1573-7535"],"issn-type":[{"value":"0928-8910","type":"print"},{"value":"1573-7535","type":"electronic"}],"subject":[],"published":{"date-parts":[[2012,5,9]]}}}