2008 IEEE International Conference on Software Testing, Verification, and Validation Workshop (ICSTW '08) (IEEE, 2008)