{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,1]],"date-time":"2026-07-01T03:36:22Z","timestamp":1782876982676,"version":"3.54.5"},"reference-count":53,"publisher":"Institute of Electrical and Electronics Engineers (IEEE)","issue":"5","license":[{"start":{"date-parts":[[2018,5,1]],"date-time":"2018-05-01T00:00:00Z","timestamp":1525132800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/ieeexplore.ieee.org\/Xplorehelp\/downloads\/license-information\/IEEE.html"}],"funder":[{"name":"National Institute of Science and Technology for Software Engineering (INES)"},{"DOI":"10.13039\/501100003593","name":"CNPq","doi-asserted-by":"crossref","award":["307190\/2015-3"],"award-info":[{"award-number":["307190\/2015-3"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003593","name":"CNPq","doi-asserted-by":"crossref","award":["465614\/2014-0"],"award-info":[{"award-number":["465614\/2014-0"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003593","name":"CNPq","doi-asserted-by":"crossref","award":["306610\/2013-2"],"award-info":[{"award-number":["306610\/2013-2"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100003593","name":"CNPq","doi-asserted-by":"crossref","award":["460883\/2014-3"],"award-info":[{"award-number":["460883\/2014-3"]}],"id":[{"id":"10.13039\/501100003593","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100002322","name":"CAPES","doi-asserted-by":"crossref","award":["175956"],"award-info":[{"award-number":["175956"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100002322","name":"CAPES","doi-asserted-by":"crossref","award":["117875"],"award-info":[{"award-number":["117875"]}],"id":[{"id":"10.13039\/501100002322","id-type":"DOI","asserted-by":"crossref"}]},{"DOI":"10.13039\/501100006162","name":"FACEPE","doi-asserted-by":"crossref","award":["APQ-0570-1.03\/14"],"award-info":[{"award-number":["APQ-0570-1.03\/14"]}],"id":[{"id":"10.13039\/501100006162","id-type":"DOI","asserted-by":"crossref"}]},{"name":"FAPEAL PPGs","award":["14\/2016"],"award-info":[{"award-number":["14\/2016"]}]},{"name":"DEVASSES","award":["PIRSES-GA-2013-612569"],"award-info":[{"award-number":["PIRSES-GA-2013-612569"]}]}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["IIEEE Trans. Software Eng."],"published-print":{"date-parts":[[2018,5,1]]},"DOI":"10.1109\/tse.2017.2693982","type":"journal-article","created":{"date-parts":[[2017,4,12]],"date-time":"2017-04-12T18:32:15Z","timestamp":1492021935000},"page":"429-452","source":"Crossref","is-referenced-by-count":25,"title":["Detecting Overly Strong Preconditions in Refactoring Engines"],"prefix":"10.1109","volume":"44","author":[{"ORCID":"https:\/\/orcid.org\/0000-0002-5720-9038","authenticated-orcid":false,"given":"Melina","family":"Mongiovi","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Rohit","family":"Gheyi","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Gustavo","family":"Soares","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marcio","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Paulo","family":"Borba","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-6154-1666","authenticated-orcid":false,"given":"Leopoldo","family":"Teixeira","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"263","reference":[{"key":"ref39","doi-asserted-by":"publisher","DOI":"10.1145\/1806799.1806835"},{"key":"ref38","doi-asserted-by":"publisher","DOI":"10.1145\/1287624.1287651"},{"key":"ref33","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.13"},{"key":"ref32","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_4"},{"key":"ref31","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_23"},{"key":"ref30","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2009.5070529"},{"key":"ref37","doi-asserted-by":"publisher","DOI":"10.1023\/A:1008715808855"},{"key":"ref36","article-title":"Practical analysis for refactoring","author":"roberts","year":"1999"},{"key":"ref35","article-title":"Specification, implementation and verification of refactorings","author":"sch\u00e4fer","year":"2010"},{"key":"ref34","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449787"},{"key":"ref28","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-00593-0_12"},{"key":"ref27","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2011.41"},{"key":"ref29","doi-asserted-by":"publisher","DOI":"10.1007\/BFb0053381"},{"key":"ref2","author":"fowler","year":"1999","journal-title":"Refactoring Improving the Design of Existing Code"},{"key":"ref1","article-title":"Refactoring object-oriented frameworks","author":"opdyke","year":"1992"},{"key":"ref20","doi-asserted-by":"publisher","DOI":"10.1109\/MS.2010.63"},{"key":"ref22","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27777-4_54"},{"key":"ref21","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2013.11.001"},{"key":"ref24","first-page":"730","article-title":"Alcoa:\n The Alloy constraint analyzer","author":"jackson","year":"2000","journal-title":"Proc 31st Int Conf Softw Eng"},{"key":"ref23","author":"jackson","year":"2012","journal-title":"Software Abstractions Logic Language and Analysis"},{"key":"ref26","doi-asserted-by":"publisher","DOI":"10.1016\/j.jss.2012.10.040"},{"key":"ref25","doi-asserted-by":"publisher","DOI":"10.1109\/ICSE.2007.37"},{"key":"ref50","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2010.62"},{"key":"ref51","doi-asserted-by":"publisher","DOI":"10.1145\/2025113.2025179"},{"key":"ref53","doi-asserted-by":"publisher","DOI":"10.1145\/383845.383858"},{"key":"ref52","first-page":"220","author":"kiczales","year":"1997","journal-title":"Aspect-Oriented Programming"},{"key":"ref10","doi-asserted-by":"publisher","DOI":"10.1145\/1481848.1481859"},{"key":"ref11","first-page":"30","article-title":"Refactoring\n in the Eclipse JDT: Past, present, and future","author":"fuhrer","year":"2007","journal-title":"ECOOP Workshop on Refactoring Tools"},{"key":"ref40","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-39038-8_26"},{"key":"ref12","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2012.19"},{"key":"ref13","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2011.6080784"},{"key":"ref14","doi-asserted-by":"publisher","DOI":"10.1109\/ICSME.2014.59"},{"key":"ref15","doi-asserted-by":"publisher","DOI":"10.1145\/2568225.2568282"},{"key":"ref16","doi-asserted-by":"publisher","DOI":"10.1145\/949306.949308"},{"key":"ref17","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2004.03.003"},{"key":"ref18","doi-asserted-by":"publisher","DOI":"10.1109\/SEFM.2008.29"},{"key":"ref19","first-page":"100","article-title":"Differential testing for software","volume":"10","author":"mckeeman","year":"1998","journal-title":"Digit Tech J"},{"key":"ref4","article-title":"Eclipse project","year":"2017"},{"key":"ref3","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.2004.1265817"},{"key":"ref6","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869485"},{"key":"ref5","article-title":"NetBeans IDE","year":"2017"},{"key":"ref8","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-14107-2_11"},{"key":"ref7","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_17"},{"key":"ref49","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2011.6100067"},{"key":"ref9","doi-asserted-by":"publisher","DOI":"10.1145\/1985793.1985804"},{"key":"ref46","doi-asserted-by":"publisher","DOI":"10.1145\/949306.949308"},{"key":"ref45","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2005.23"},{"key":"ref48","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-85373-2_2"},{"key":"ref47","doi-asserted-by":"publisher","DOI":"10.1145\/1094811.1094832"},{"key":"ref42","doi-asserted-by":"publisher","DOI":"10.1109\/ICSM.2012.6405293"},{"key":"ref41","doi-asserted-by":"publisher","DOI":"10.1177\/154193129403801702"},{"key":"ref44","doi-asserted-by":"publisher","DOI":"10.1109\/ASE.2003.1240330"},{"key":"ref43","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03013-0_19"}],"container-title":["IEEE Transactions on Software Engineering"],"original-title":[],"link":[{"URL":"http:\/\/xplorestaging.ieee.org\/ielx7\/32\/8356703\/07898404.pdf?arnumber=7898404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,1,12]],"date-time":"2022-01-12T16:22:38Z","timestamp":1642004558000},"score":1,"resource":{"primary":{"URL":"https:\/\/ieeexplore.ieee.org\/document\/7898404\/"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,5,1]]},"references-count":53,"journal-issue":{"issue":"5"},"URL":"https:\/\/doi.org\/10.1109\/tse.2017.2693982","relation":{},"ISSN":["0098-5589","1939-3520"],"issn-type":[{"value":"0098-5589","type":"print"},{"value":"1939-3520","type":"electronic"}],"subject":[],"published":{"date-parts":[[2018,5,1]]}}}