Test Adequacy Assessment
declared above, ∗ p will be mutated. p alone may be mutated by one of
the pointer reference-replacement operators. As another example, the
entire reference q[i] will be mutated; q itself may be mutated by one of
the array reference-replacement operators.
7.10.10.2 Array Reference Replacement
Incorrect use of an array variable is the fault modeled by two mutation
operators VGAR and VLAR. These operators mutate an array reference
in function f using, respectively, the sets GA
f
and LA
f
. Types are pre-
served while mutating array references. Here, name equivalence of types
as defined in C is assumed. Thus, if a and b are, respectively, arrays of in-
tegers and pointers to integers, a will not be replaced by b and vice versa.
7.10.10.3 ...