Proceedings of the First International Workshop on Software Test Output Validation
ACM Digital Library