
BIBLIOGRAPHIC NOTES
BIBLIOGRAPHIC NOTES
Early research: Fischer et al. [147]
proposed a formal method for selecting test
cases for regression testing, known at that
time as “retesting modified software.”
Their approach required both control flow
and data-flow analyses to determine which
tests should be selected. Their formulation
is novel in that the test selection problem is
formulated as a set of m linear conditions
in n variables of the kind:
a
i1
x
1
+ a
i2
x
2
+ ...+ a
in
x
n
≥ b
i
for 1 ≤ i ≤ m
Coefficient a
ij
is1iftestcaset
j
exercises
one or more of the modified program
segments i, such as a basic block, and 0
otherwise. Variable x
j
is 1 if test t
j
is a
candidate for inclusion ...