Proceedings of the 1st international workshop on Random testing