Proceedings of the 1st international workshop on Random testing
ACM Digital Library