Automated and Scalable T-wise Test Case Generation Strategies for Software Product Lines

We conclude about the existence of imaginary quadratic fields, p-rational for all p ≥ 2 (Angelakis–Stevenhagen on the concept of “minimal absolute abelian Galois group”) which

Key-words: test case generation, functional testing, constraint solving, rewriting rules, Constraint Handling Rules (CHR), Jakarta Specification Language (JSL), Java Card Virtual

Section 12.6 explains how test cases can be derived from the test objectives, using test scenarios and behavioral test patterns to guide the test synthesis tools.. Section 12.7

SPL Test suite size: The size of a test suite is defined by the number of SPL test cases that a given generation strategy computes. In the best case, we want a strategy to generate

Going one step further, we propose two approaches working with constraints capable of generating and prioritizing product configurations: (a) a randomized approach, named here

We present the fault finding results in Tables 2 and 3, listing for each case example, coverage criterion, test generation method, and oracle: the average fault finding for test

It must be noted here that the presence of equivalent mutants and infeasible paths not only does affect the practical matters of employing the mutation testing criterion, but also

It presents, for each comparison, the distribution of the 8 p-values (one per FM). Each p-value is the result of the comparison between the 30 values obtained for each objective