Proceedings of the 1st ACM SIGSOFT International Workshop on Automated Specification Inference