Abductive Diagnosis, Automated Model Generation, Bio-inspired, combinatorial testing, model-based diagnosis, Swarm Intelligence, swarm robotics.
