Abstract
Covering arrays (CAs) are combinatorial designs that represent the backbone of combinatorial testing, which is applied most prominently in automated software testing. The generation of optimized CAs is a difficult combinatorial optimization problem being subject to ongoing research. Previous studies have shown that many different algorithmic approaches are best suited for different instances of CAs. In this paper we present the IPO-MAXSAT algorithm, which adopts the prominent inparameter-order (IPO) strategy for CA generation and uses MaxSAT solving to optimize the occurring sub-problems. We devise three different algorithmic variants that use a MaxSAT solver for different sub-problems. These variants are evaluated in an extensive set of experiments where we also consider the usage of different MaxSAT solvers. Further, we provide a comparison against various other algorithms realizing the IPO strategy as well as the state of the art.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
