2013 IEEE Sixth International Conference on Software Testing, Verification and Validation