2016 IEEE International Conference on Software Testing, Verification and Validation (ICST)