Maximum independent sets on transitive graphs and their applications in testing and CAD