Het automatisch genereren van testgevallen vanuit de specificaties.