Automatic Scalable System for the Coverage-Directed Generation (CDG) ProblemRaviv GalEldad Haberet al.2021DATE 2021