Verification Approach for Refactoring Transformation Rules of State-Based Models

Nada Almasri, Bogdan Korel, Luay Tahat 0001. Verification Approach for Refactoring Transformation Rules of State-Based Models. IEEE Trans. Software Eng., 48(10):3833-3861, 2022. [doi]

Abstract

Abstract is missing.