S. Weißleder. ICST ’10: International Conference on Software Testing, Verification and Validation: Proceedings of the Third IEEE International Conference on Software Testing, Verification, and Validation, Los Alamitos and Calif and Piscataway and N.J, IEEE Computer Society and IEEE, (2010)