It should not come as any sort of surprise that verifying that software works properly relies quite heavily on testing. While in an academic environment, [...]