Coalition for the correctness of applications