Proceedings of the First International Workshop on Software Test Output Validation