2008 1st International Conference on Software Testing, Verification, and Validation