☰

Blogs

Traceability view: SPEC-001 verified by two tests and implemented in two source files
Verification needs to move at the speed of code generation

Towards Autonomous Code Maintenance