Contracts and Grants with Industry - Probabilistic test generation