Proceedings of the 3rd international workshop on Automation of software test
ACM Digital Library