A Set-Covering Approach to Customized Coverage Instrumentation

DOI10.1287/IJOC.2021.0349MaRDI QIDQ6202328OpenAlexFDO

Authors Carla Michini, Ben Liblit, Jeff Linderoth

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)

Recommendations

• Publication:4942025
• Computer Solutions to Minimum-Cover Problems
• Recent Advances in Constraints
• Query-Driven Program Testing
• scientific article; zbMATH DE number 2090129

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6202328)