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