“Software testing is not only ensuring absence of bugs but also ensuring presence of value.”