Automatic test suite generation for key-points detection DNNs using many-objective search (experience paper).