Probabilistic Contract Compliance for Mobile Applications