Perform safe and provable refactoring.
Use provable (
r) refactorings instead of test-supported (
R) or unprovable (
The Value Proposition
Using provable refactorings makes refactoring safe:
- Refactor without writing bugs.
- Get untestable code under test without writing bugs.
Please log in
This content is only available to students. Please log in to access it.