Outil conçu pour générer des tests unitaires automatiquement à partir de signatures de fonctions. Il produit des appels aléatoires à ces fonctions avec des entrées générées de manière aléatoire, en utilisant des échantillonneurs de Boltzmann pour respecter des contraintes de taille et de probabilité. Principalement utilisé pour l'évaluation de programmes fonctionnels ou l'intégration dans des systèmes de notation automatique.