Proceedings of the 1st ACM SIGSOFT International Workshop on Languages and Tools for Next-Generation Testing