Detection of Model Violations