{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:50:40Z","timestamp":1760028640529,"version":"3.28.0"},"reference-count":25,"publisher":"IEEE","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011,9]]},"DOI":"10.1109\/icsm.2011.6080784","type":"proceedings-article","created":{"date-parts":[[2011,11,21]],"date-time":"2011-11-21T16:45:27Z","timestamp":1321893927000},"page":"173-182","source":"Crossref","is-referenced-by-count":18,"title":["Identifying overly strong conditions in refactoring implementations"],"prefix":"10.1109","author":[{"given":"Gustavo","family":"Soares","sequence":"first","affiliation":[]},{"given":"Melina","family":"Mongiovi","sequence":"additional","affiliation":[]},{"given":"Rohit","family":"Gheyi","sequence":"additional","affiliation":[]}],"member":"263","reference":[{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869485"},{"key":"ref11","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985854"},{"key":"ref12","article-title":"A technique to test refactoring engines","author":"soares","year":"2011","journal-title":"Technical Report TR-UFCG-DSC-201103109"},{"journal-title":"Software Abstractions Logic Language and Analysis","year":"2006","author":"jackson","key":"ref13"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"ref15","first-page":"100","article-title":"Differential Testing for Software","volume":"10","author":"mckeeman","year":"1998","journal-title":"Digital Technical Journal"},{"key":"ref16","doi-asserted-by":"crossref","first-page":"171","DOI":"10.1007\/978-3-642-00593-0_12","article-title":"Reducing the costs of bounded-exhaustive testing","author":"jagannath","year":"2009","journal-title":"Fundamental Approaches to Software Engineering"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2006.105"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"key":"ref19","first-page":"369","article-title":"Stepping stones over the refactoring rubicon","author":"schafer","year":"2009","journal-title":"European Conference on Object-Oriented Programming"},{"key":"ref4","first-page":"419","article-title":"From public to private to absent: Refactoring java programs under constrained accessibility","author":"steimann","year":"2009","journal-title":"European Conference on Object-Oriented Programming"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449787"},{"key":"ref6","first-page":"67","article-title":"Challenge proposal: Verification of refactorings","author":"sch\u00e4fer","year":"2009","journal-title":"Programming Languages meets Program Verification"},{"key":"ref5","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.63"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.03.003"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1145\/949306.949308"},{"key":"ref2","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265817"},{"key":"ref9","first-page":"217","article-title":"Laws of object-orientation with reference semantics","author":"silva","year":"2008","journal-title":"Software Engineering and Formal Methods"},{"journal-title":"Refactoring Improving the Design of Existing Code","year":"1999","author":"fowler","key":"ref1"},{"key":"ref20","first-page":"145","article-title":"Refactoring: An aid in designing application frameworks and evolving Object-Oriented systems","author":"opdyke","year":"1990","journal-title":"Proc Symp Object-Oriented Programming Emphasizing Practical Applications"},{"article-title":"Practical Analysis for Refactoring","year":"1999","author":"roberts","key":"ref22"},{"article-title":"Refactoring Object-Oriented frameworks","year":"1992","author":"opdyke","key":"ref21"},{"key":"ref24","first-page":"394","article-title":"Program metamorphosis","author":"reichenbach","year":"2009","journal-title":"European Conference on Object-Oriented Programming"},{"key":"ref23","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008715808855"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"}],"event":{"name":"2011 IEEE 27th International Conference on Software Maintenance (ICSM)","start":{"date-parts":[[2011,9,25]]},"location":"Williamsburg, VA, USA","end":{"date-parts":[[2011,9,30]]}},"container-title":["2011 27th IEEE International Conference on Software Maintenance (ICSM)"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx5\/6068277\/6080759\/06080784.pdf?arnumber=6080784","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,6,19]],"date-time":"2019-06-19T18:38:16Z","timestamp":1560969496000},"score":1,"resource":{"primary":{"URL":"http:\/\/ieeexplore.ieee.org\/document\/6080784\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9]]},"references-count":25,"URL":"https:\/\/doi.org\/10.1109\/icsm.2011.6080784","relation":{},"subject":[],"published":{"date-parts":[[2011,9]]}}}