Carla Michini Peter Ohmann Ben Liblit Jeff T. Linderoth A Set-Covering Approach to Customized Coverage Instrumentation. 21-38 2024 36 INFORMS J. Comput. 1 https://doi.org/10.1287/ijoc.2021.0349 db/journals/informs/informs36.html#MichiniOLL24