Skip to main content

Table 1 Branch fitness

From: Searching and generating test inputs for mutation testing

Expression

True branch

False branch

a == b

abs( a - b)

a == b?k : 0

a ! = b

a ! = b? 0 : k

abs (a ! = b?a - b : 0)

a < b

abs (a < b?0 : a - b + k)

abs (a < b?a - b + k : 0)

a < = b

abs (a < = b?0 : a - b)

abs (a < = b?a - b : 0)

a > b

abs (a > b?0 : a - b + k)

abs (a > b?a - b + k : 0)

a > = b

abs (a > = b?0 : a - b)

abs (a > = b?a - b : 0)

a || b

min[fit(a), fit(b)]

fit(a) + fit(b)

a && b

fit(a) + fit(b)

min[fit(a), fit(b)]