On introducing automatic test case generation in practice: A success story and lessons learned