Beginner's luck: a language for property-based generators
trueskilltm : a bayesian skill rating system .