This paper presents results from a comparative evaluation of five combination strategies.
Combination strategies are test case selection methods that combine “interesting” values of …

Context: Static Application Security Testing Tools (SASTTs) identify software vulnerabilities
to support the security and reliability of software applications. Interestingly, several studies …

This study compares seven different methods for handling constraints in input parameter
models when using combination strategies to select test cases. Combination strategies are …

Testers often represent systems under test in input parameter models. These contain
parameters with associated values. Combinations of parameter values, with one value for …

Verification of real-time systems is a complex task, with problems coming from issues like
concurrency. A previous paper suggested dealing with these problems by using a time …