In this paper, we describe how we can effectively exploit alternative
pa...
Combinatorial Testing (CT) tools are essential to test properly a wide r...
We present a Combinatorial Optimization approach based on Maximum
Satisf...
We present a Satisfiability (SAT)-based approach for building Mixed Cove...