Tag
refactoring-safety
- Aug 9, 2025 Extract Function and the Preconditions the Compiler Checks Extraction is presented as a mechanical edit, but it is only safe when the extracted body captures no free variables, no control flow, and no implicit receiver. software engineering
- Apr 21, 2024 Characterization Tests as a Refactoring Safety Net When code has no specification, the only available oracle is the code itself. Recording current behavior turns a rewrite into a comparison against captured output. software engineering
- Nov 8, 2023 The Equivalence Relation That Refactoring Depends On Refactoring is defined as behavior-preserving change, which first requires deciding what counts as behavior. That decision is the whole discipline. software engineering