A Set-Covering Approach to Customized Coverage Instrumentation

DOI10.1287/ijoc.2021.0349OpenAlexW4387458648MaRDI QIDQ6202328

Jeff Linderoth, Carla Michini, Ben Liblit, Unnamed Author

Publication date: 26 March 2024

Published in: INFORMS Journal on Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1287/ijoc.2021.0349

zbMATH Keywords

set coveringdebuggingprogram coverage

Mathematics Subject Classification ID

Mathematical programming (90Cxx)

This page was built for publication: A Set-Covering Approach to Customized Coverage Instrumentation