Proceedings of the Second International Workshop on Automation of Software Test
ACM Digital Library