Proceedings of the 5th Workshop on Automation of Software Test
ACM Digital Library