Overview of Semi-automated Testing