Test case generation est case Software to be tested verification No Output Enough? Test coverage Js es+ Software to be tested Output Test Case Enough? verification Test Coverage Test case generation No Yes