presented at event 2008 International Conference on Software Testing, Verification, and Validation Conference