Is it Possible to Write Bug-Free Code? A Case for Thorough Specifications

When I started as a server developer at Vena in 2013, we didn’t have test-driven development. Sure, we designed our codebase to be testable by using dependency injection from the start, with the expectation of writing unit tests with mocks. …