Optimizing customized program coverage. - Peter Ohmann; David Bingham Brown; Naveen Neelakandan; Jeff T. Linderoth; Ben Liblit (ASE, 2016)