Finding Swarm Property Violations (SPVs)