Return to Article Details Using case-based reasoning for generating functional test procedures