A Set-Covering Approach to Customized Coverage Instrumentation

DOI10.1287/IJOC.2021.0349OpenAlexW4387458648MaRDI QIDQ6202328FDOQ6202328

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

Recommendations

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

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

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