Achieving perfect harmony: The symbiosis of manual and automated testing in the software verification process