Solving the t-Wise Coverage Maximum Problem via Effective and Efficient Local Search-Based Sampling

C Luo, J Song, Q Zhao, B Sun, J Chen… - ACM Transactions on …, 2024 - dl.acm.org
To meet the increasing demand for customized software, highly configurable systems
become essential in practice. Such systems offer many options to configure, and ensuring …

Multi-thread combinatorial test generation with smt solvers

A Bombarda, A Gargantini, A Calvagna - Proceedings of the 38th ACM …, 2023 - dl.acm.org
Combinatorial interaction testing (CIT) is a testing technique that has proven to be effective
in finding faults due to the interaction among inputs and in reducing the number of test …

A stage-based adaptive penalty method for constrained evolutionary optimization

Q Pan, C Si, L Wang - Expert Systems with Applications, 2025 - Elsevier
Selecting an appropriate penalty coefficient is imperative when using penalty functions to
address constrained optimization problems. This paper introduces a novel approach, named …

Top-down: A better strategy for incremental covering array generation

Y Wang, X Niu, H Wu, C Nie, L Yu, X Wang… - Information and Software …, 2025 - Elsevier
Abstract Context: The Incremental Covering Array (ICA) offers a flexible and efficient test
schedule for Combinatorial Testing (CT) by enabling dynamic adjustment of test strength …

A tolerance-based memetic algorithm for constrained covering array generation

X Guo, X Song, J Zhou, F Wang - Memetic Computing, 2023 - Springer
The research focus in the field of combinatorial testing has shifted from unconstrained
covering array generation (CAG) to constrained covering array generation (CCAG). Most …

Effectively computing high strength mixed covering arrays with constraints

C Ansótegui, E Torres - Journal of Parallel and Distributed Computing, 2024 - Elsevier
Covering arrays have become a key piece in Combinatorial Testing. In particular, we focus
on the efficient construction of Covering Arrays with Constraints of high strength. SAT solving …

State of the CArt: evaluating covering array generators at scale

M Leithner, A Bombarda, M Wagner… - International Journal on …, 2024 - Springer
Providing a reusable methodology for the evaluation of covering array generation utilities
and apply it to a corpus of such tools, obtaining an overview of supported features and …

Toward Individual Fairness Testing with Data Validity

T Kitamura, S Amasaki, J Inoue, Y Isobe… - Proceedings of the 39th …, 2024 - dl.acm.org
Individual fairness testing (Ift) is a framework to find discriminatory instances within a given
classifier. In this paper, we show our idea of a Ift framework, that integrates the notion of data …

A constrained covering array generator using adaptive penalty based parallel tabu search

Y Wang, H Wu, X Niu, C Nie, J Xu - 2022 IEEE International …, 2022 - ieeexplore.ieee.org
Since Combinatorial Testing (CT) was first proposed in 1980s, there have been more than
50 algorithms or tools published for Covering Array Generation (CAG). This paper …

Top-Down: A Better Strategy for Incremental Covering Array Generation

XT Niu, H Wu, C Nie, L Yu, X Wang, J Xu - papers.ssrn.com
To avoid the potential loss of identifying an incorrect testing strength, CT employs the object
of Incremental Covering Array (ICA) to offer a flexible test schedule that starts with a low …