Uniform or near-uniform generation of solutions for large satisfiability formulas is a problem
of theoretical and practical interest for the testing community. Recent works proposed two …

Test case generation is among the most labour-intensive tasks in software testing. It also has
a strong impact on the effectiveness and efficiency of software testing. For these reasons, it …

Interaction testing can be used to effectively detect faults that are otherwise difficult to find by
other testing techniques. However, in practice, the input configurations of software systems …

In the era of mobile devices and the Internet of things, software systems are ubiquitous. A
multitude of hardware specifics, fast development of applications, and the need of …

Despite decades of work by researchers and practitioners on numerous software quality
assurance techniques, testing remains one of the most widely practiced and studied …

A scalable approach for software product line testing is required due to the size and
complexity of industrial product lines. In this paper, we present a specialized algorithm …

Large Software Product Lines (SPLs) are common in industry, thus introducing the need of
practical solutions to test them. To this end, t-wise can help to drastically reduce the number …

In this paper, we propose a new scenario generation algorithm called Combinatorial Testing
Based on Complexity (CTBC) based on both combinatorial testing (CT) method and Test …

This paper presents a survey of work on Search Based Software Engineering (SBSE) for
Software Product Lines (SPLs). We have attempted to be comprehensive, in the sense that …

This paper proposes a novel hybrid t-way test generation strategy (where t indicates
interaction strength), called High Level Hyper-Heuristic (HHH). HHH adopts Tabu Search as …