{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,9]],"date-time":"2025-10-09T16:52:59Z","timestamp":1760028779509,"version":"3.40.3"},"publisher-location":"Cham","reference-count":34,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030638818"},{"type":"electronic","value":"9783030638825"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2020]]},"DOI":"10.1007\/978-3-030-63882-5_3","type":"book-chapter","created":{"date-parts":[[2020,11,19]],"date-time":"2020-11-19T14:08:03Z","timestamp":1605794883000},"page":"25-42","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":7,"title":["Revisiting Refactoring Mechanics from\u00a0Tool Developers\u2019 Perspective"],"prefix":"10.1007","author":[{"given":"Jonhnanthan","family":"Oliveira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rohit","family":"Gheyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Felipe","family":"Pontes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Melina","family":"Mongiovi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"M\u00e1rcio","family":"Ribeiro","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alessandro","family":"Garcia","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,11,19]]},"reference":[{"key":"3_CR1","volume-title":"Extreme Programming Explained: Embrace Change","author":"K Beck","year":"2000","unstructured":"Beck, K.: Extreme Programming Explained: Embrace Change. Addison-Wesley Longman Publishing Company Inc., Boston (2000)"},{"key":"3_CR2","doi-asserted-by":"crossref","unstructured":"Daniel, B., Dig, D., Garcia, K., Marinov, D.: Automated testing of refactoring engines. In: Proceedings of the Foundations of Software Engineering, pp. 185\u2013194. ACM (2007)","DOI":"10.1145\/1287624.1287651"},{"key":"3_CR3","unstructured":"Eclipse.org.: Eclipse Project (2018). http:\/\/www.eclipse.org"},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Falleri, J., Morandat, F., Blanc, X., Martinez, M., Monperrus, M.: Fine-grained and accurate source code differencing. In: Proceedings of the Automated Software Engineering, ASE, pp. 313\u2013324 (2014)","DOI":"10.1145\/2642937.2642982"},{"key":"3_CR5","unstructured":"Fluri, B., Wuersch, M., PInzger, M., Gall, H.: Change distilling: tree differencing for fine-grained source code change extraction. IEEE Trans. Softw. Eng. 33(11), 725\u2013743 (2007)"},{"key":"3_CR6","volume-title":"Refactoring: Improving the Design of Existing Code","author":"M Fowler","year":"1999","unstructured":"Fowler, M., Beck, K., Brant, J., Opdyke, W., Roberts, D.: Refactoring: Improving the Design of Existing Code. Addison-Wesley Professional, Boston (1999)"},{"key":"3_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"629","DOI":"10.1007\/978-3-642-39038-8_26","volume-title":"ECOOP 2013 \u2013 Object-Oriented Programming","author":"M Gligoric","year":"2013","unstructured":"Gligoric, M., Behrang, F., Li, Y., Overbey, J., Hafiz, M., Marinov, D.: Systematic testing of refactoring engines on real software projects. In: Castagna, G. (ed.) ECOOP 2013. LNCS, vol. 7920, pp. 629\u2013653. Springer, Heidelberg (2013). https:\/\/doi.org\/10.1007\/978-3-642-39038-8_26"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Gligoric, M., Gvero, T., Jagannath, V., Khurshid, S., Kuncak, V., Marinov, D.: Test generation through programming in UDITA. In: Proceedings of the International Conference on Software Engineering, ICSE, pp. 225\u2013234. ACM (2010)","DOI":"10.1145\/1806799.1806835"},{"key":"3_CR9","volume-title":"Software Abstractions: Logic, Language, and Analysis","author":"D Jackson","year":"2012","unstructured":"Jackson, D.: Software Abstractions: Logic, Language, and Analysis. The MIT Press, Cambridge (2012)"},{"key":"3_CR10","doi-asserted-by":"crossref","unstructured":"Jackson, D., Schechter, I., Shlyahter, H.: Alcoa: the alloy constraint analyzer. In: Proceedings of the International Conference on Software Engineering, pp. 730\u2013733. ICSE (2000)","DOI":"10.1145\/337180.337616"},{"key":"3_CR11","unstructured":"JetBrains: IntelliJ IDEA (2018). https:\/\/www.jetbrains.com\/idea\/"},{"key":"3_CR12","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-27777-4_54","volume-title":"Refactoring to Patterns","author":"J Kerievsky","year":"2004","unstructured":"Kerievsky, J.: Refactoring to Patterns. Pearson Higher Education, London (2004)"},{"key":"3_CR13","doi-asserted-by":"crossref","unstructured":"Kim, M., Zimmermann, T., Nagappan, N.: A field study of refactoring challenges and benefits. In: Proceedings of the International Symposium on the Foundations of Software Engineering, pp. 50:1\u201350:11. FSE (2012)","DOI":"10.1145\/2393596.2393655"},{"issue":"7","key":"3_CR14","doi-asserted-by":"publisher","first-page":"633","DOI":"10.1109\/TSE.2014.2318734","volume":"40","author":"M Kim","year":"2014","unstructured":"Kim, M., Zimmermann, T., Nagappan, N.: An empirical study of refactoring challenges and benefits at microsoft. IEEE Trans. Software Eng. 40(7), 633\u2013649 (2014)","journal-title":"IEEE Trans. Software Eng."},{"issue":"2","key":"3_CR15","doi-asserted-by":"publisher","first-page":"126","DOI":"10.1109\/TSE.2004.1265817","volume":"30","author":"T Mens","year":"2004","unstructured":"Mens, T., Tourw\u00e9, T.: A survey of software refactoring. IEEE Trans. Software Eng. 30(2), 126\u2013139 (2004)","journal-title":"IEEE Trans. Software Eng."},{"issue":"5","key":"3_CR16","doi-asserted-by":"publisher","first-page":"429","DOI":"10.1109\/TSE.2017.2693982","volume":"44","author":"M Mongiovi","year":"2018","unstructured":"Mongiovi, M., Gheyi, R., Soares, G., Ribeiro, M., Borba, P., Teixeira, L.: Detecting overly strong preconditions in refactoring engines. IEEE Trans. Software Eng. 44(5), 429\u2013452 (2018)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR17","doi-asserted-by":"publisher","first-page":"39","DOI":"10.1016\/j.scico.2013.11.001","volume":"93","author":"M Mongiovi","year":"2014","unstructured":"Mongiovi, M., Gheyi, R., Soares, G., Teixeira, L., Borba, P.: Making refactoring safer through impact analysis. Sci. Comput. Program. 93, 39\u201364 (2014)","journal-title":"Sci. Comput. Program."},{"key":"3_CR18","doi-asserted-by":"crossref","unstructured":"Mongiovi, M., Mendes, G., Gheyi, R., Soares, G., Ribeiro, M.: Scaling testing of refactoring engines. In: Proceedings of the International Conference on Software Maintenance and Evolution, ICSME, pp. 371\u2013380 (2014)","DOI":"10.1109\/ICSME.2014.59"},{"issue":"4","key":"3_CR19","doi-asserted-by":"publisher","first-page":"76","DOI":"10.1109\/MS.2006.105","volume":"23","author":"G Murphy","year":"2006","unstructured":"Murphy, G., Kersten, M., Findlater, L.: How are java software developers using the eclipse IDE? IEEE Softw. 23(4), 76\u201383 (2006)","journal-title":"IEEE Softw."},{"key":"3_CR20","doi-asserted-by":"crossref","unstructured":"Murphy-Hill, E., Ayazifar, M., Black, A.P.: Restructuring software with gestures. In: Proceedings of the Symposium on Visual Languages and Human-Centric Computing, VL\/HCC, pp. 165\u2013172 (2011)","DOI":"10.1109\/VLHCC.2011.6070394"},{"issue":"1","key":"3_CR21","doi-asserted-by":"publisher","first-page":"5","DOI":"10.1109\/TSE.2011.41","volume":"38","author":"E Murphy-Hill","year":"2012","unstructured":"Murphy-Hill, E., Parnin, C., Black, A.P.: How we refactor, and how we know it. IEEE Trans. Software Eng. 38(1), 5\u201318 (2012)","journal-title":"IEEE Trans. Software Eng."},{"key":"3_CR22","doi-asserted-by":"publisher","first-page":"136","DOI":"10.1016\/j.infsof.2019.03.002","volume":"110","author":"J Oliveira","year":"2019","unstructured":"Oliveira, J., Gheyi, R., Mongiovi, M., Soares, G., Ribeiro, M., Garcia, A.: Revisiting the refactoring mechanics. Inf. Softw. Technol. 110, 136\u2013138 (2019)","journal-title":"Inf. Softw. Technol."},{"key":"3_CR23","unstructured":"Opdyke, W.: Refactoring object-oriented frameworks. Ph.D. thesis, University of Illinois at Urbana-Champaign (1992)"},{"key":"3_CR24","unstructured":"Oracle: Netbeans IDE (2018). http:\/\/www.netbeans.org"},{"key":"3_CR25","unstructured":"Roberts, D.: Practical analysis for refactoring. Ph.D. thesis, University of Illinois at Urbana-Champaign (1999)"},{"key":"3_CR26","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, M., Ekman, T., Moor, O.: Challenge proposal: verification of refactorings. In: Proceedings of the 3rd Workshop on Programming Languages Meets Program Verification, pp. 67\u201372. ACM (2008)","DOI":"10.1145\/1481848.1481859"},{"key":"3_CR27","doi-asserted-by":"crossref","unstructured":"Sch\u00e4fer, M., de Moor, O.: Specifying and implementing refactorings. In: Proceedings of the International Conference on Object-Oriented Programming, Systems, Languages, and Applications, OOPSLA, pp. 286\u2013301 (2010)","DOI":"10.1145\/1869459.1869485"},{"issue":"2","key":"3_CR28","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1109\/TSE.2012.19","volume":"39","author":"G Soares","year":"2013","unstructured":"Soares, G., Gheyi, R., Massoni, T.: Automated behavioral testing of refactoring engines. IEEE Trans. Software Eng. 39(2), 147\u2013162 (2013)","journal-title":"IEEE Trans. Software Eng."},{"issue":"4","key":"3_CR29","doi-asserted-by":"publisher","first-page":"52","DOI":"10.1109\/MS.2010.63","volume":"27","author":"G Soares","year":"2010","unstructured":"Soares, G., Gheyi, R., Serey, D., Massoni, T.: Making program refactoring safer. IEEE Softw. 27(4), 52\u201357 (2010)","journal-title":"IEEE Softw."},{"key":"3_CR30","doi-asserted-by":"crossref","unstructured":"Soares, G., Mongiovi, M., Gheyi, R.: Identifying overly strong conditions in refactoring implementations. In: Proceedings of the International Conference on Software Maintenance, ICSM, pp. 173\u2013182 (2011)","DOI":"10.1109\/ICSM.2011.6080784"},{"key":"3_CR31","doi-asserted-by":"crossref","unstructured":"Steimann, F., Thies, A.: From public to private to absent: refactoring java programs under constrained accessibility. In: Proceedings of the European Conference on Object-Oriented Programming, ECOOP, pp. 419\u2013443 (2009)","DOI":"10.1007\/978-3-642-03013-0_19"},{"issue":"10","key":"3_CR32","doi-asserted-by":"publisher","first-page":"54","DOI":"10.1145\/3131873","volume":"60","author":"E Tempero","year":"2017","unstructured":"Tempero, E., Gorschek, T., Angelis, L.: Barriers to refactoring. Commun. ACM 60(10), 54\u201361 (2017)","journal-title":"Commun. ACM"},{"key":"3_CR33","doi-asserted-by":"publisher","first-page":"89","DOI":"10.1023\/A:1008715808855","volume":"8","author":"L Tokuda","year":"2001","unstructured":"Tokuda, L., Batory, D.: Evolving object-oriented designs with refactorings. Autom. Softw. Eng. 8, 89\u2013120 (2001)","journal-title":"Autom. Softw. Eng."},{"key":"3_CR34","doi-asserted-by":"crossref","unstructured":"Vakilian, M., Chen, N., Negara, S., Rajkumar, B.A., Bailey, B.P., Johnson, R.E.: Use, disuse, and misuse of automated refactorings. In: Proceedings of the International Conference on Software Engineering, ICSE, pp. 233\u2013243 (2012)","DOI":"10.1109\/ICSE.2012.6227190"}],"container-title":["Lecture Notes in Computer Science","Formal Methods: Foundations and Applications"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-63882-5_3","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,11,28]],"date-time":"2022-11-28T21:35:10Z","timestamp":1669671310000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-030-63882-5_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030638818","9783030638825"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-63882-5_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"19 November 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"SBMF","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazilian Symposium on Formal Methods","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Ouro Preto","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Brazil","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"25 November 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"27 November 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"23","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"sbmf2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/sbmf2020.ufop.br\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"10","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"0","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"59% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"1","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"3 invited talks are also included. The symposium was held virtually due to the COVID-19 pandemic.","order":10,"name":"additional_info_on_review_process","label":"Additional Info on Review Process","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}