Presented at IEEE International Conference on Software Testing Verification and Validation (ICST 2009), Denver, Colorado