Concepedia

Refactoring Verification

Refactoring Verification is a software engineering method that systematically ensures the preservation of behavioral semantics in source code after structural modifications, distinguishing it from general testing or validation techniques by focusing exclusively on equivalence between pre- and post-refactored program states.

12

Publications

365

Citations

25

Authors

12

Institutions

Publications per year

2017–2026

5

Parents

Publications

12

Refactoring for generalization using type constraints

Frank Tip, Adam Kieżun, Dirk Bäumer · 2003 · 125 citations

, , +16

A rigorous approach for proving model refactorings

Rohit Gheyi, Tiago Massoni, Paulo Borba · 2005 · 53 citations

, , +16

On Proving the Correctness of Refactoring Class Diagrams of MDE Metamodels

Najd Altoyan, Don Batory · ACM Transactions on Software Engineering and Methodology · 2022 · 36 citations · Full text

, , +17

Renaming Global Variables in C Mechanically Proved Correct

Julien Cohen · Electronic Proceedings in Theoretical Computer Science · 2016 · 36 citations · Full text

, , +14

Mechanical verification of refactorings

Nik Sultana, Simon Thompson · 2008 · 28 citations

, , +13

1–5 of 12

Authors

25

  1. FT
    Frank Tip

    IBM (United States), United States

    3 publications · 169 citations

    3

    h-index

  2. AK
    Adam Kieżun

    Harvard University, United States

    3 publications · 169 citations

    3

    h-index

  3. DB
    Dirk Bäumer

    University of Oxford, United Kingdom

    2 publications · 44 citations

    2

    h-index

  4. TT
    Tetsuo Tamai

    The University of Tokyo, Japan

    1 publications · 12 citations

    1

    h-index

  5. WW
    Westley Weimer

    University of Virginia, United States

    1 publications · 21 citations

    1

    h-index

1–5 of 25

Institutions

12

  1. IBM Research - Thomas J. Watson Research Center

    Yorktown Heights, United States

    3 h-index

    3 publications

    169 citations

  2. IIT@MIT

    Cambridge, United States

    3 h-index

    3 publications

    169 citations

  3. IBM Research - Zurich

    Rüschlikon, Switzerland

    3 h-index

    3 publications

    169 citations

  4. The University of Tokyo

    Tokyo, Japan

    1 h-index

    1 publications

    12 citations

  5. University of Kent

    Canterbury, United Kingdom

    1 h-index

    2 publications

    56 citations

  6. Massachusetts Institute of Technology

    Cambridge, United States

    1 h-index

    1 publications

    125 citations

  7. IBM Research - Haifa

    Haifa, Israel

    1 h-index

    4 publications

    44 citations

  8. University of Antwerp

    Antwerp, Belgium

    1 h-index

    2 publications

    26 citations

1–8 of 12

Venues

  1. International Journal of Parallel Programming

    1 publications · 11 citations

    1

    h-index

  2. Technische Universität Berlin – Universitätsbibliothek

    Repository · 1 publications · 12 citations

    1

    h-index

  3. ACM SIGPLAN Notices

    1 publications · 20 citations

    1

    h-index

  4. Theory and Practice of Logic Programming

    1 publications · 10 citations

  5. ACM Transactions on Software Engineering and Methodology

    TOSEM · 1 publications · 36 citations

1–5