Reconciling Manual and Automated Testing: The AutoTest Experience
Test input generation with java PathFinder