IPOG

The In Parameter Order General algorithm (IPOG) [LKK+08] is a widely-used MCAC algorithm. IPOG is implemented in several CT libraries such as ACTS, which is used by more than 4000 corporate and university users.

In our implementation of IPOG we use SAT technology to efficiently handle SUT constraints. We show in our work A Benchmark Generator for Combinatorial Testing (under review) that this implementation is able to obtain better runtimes than the Constraint Programming version of IPOG in ACTS in most of the tested instances.

For a full example you can check Hands-on CTLog.