Refactoring of Assertions in Design by Contract

Assertions are formal constraints over the state variables of a source program which are inserted as annotations in the program text. When some code has been annotated with assertions and is then subjected to refactoring, original assertions would no longer be consistent with the refactored code. The main focus of this paper is to specify how assertions could be made consistent across the refactoring process considering design-by-contract.