Using Model-Based Diagnosis to Improve Software Testing

Open in new window