3.7.3@eXg

`̂p

Љ̗p

@

eXgp^[

i1j u[

u[iBoolean Differencej

@

̏֐

@

̏፷֐

i2j ̏

̏

@

̏iEquivalent Faultj

i3j eXg̕i

eXg̕i

@

̏ጟoiFault Coveragej

@

̏ጟoiFault Efficiencyj

@

os\̏

@

璷̏iRedundant Faultj

i4j ̏V~[V

̏V~[V

̏V~[V

@

@

㈌̏V~[V

@

@

̏V~[V

i5j gH̃eXgASY

eXg

DASY

@

eXgASY

PODEN

@

gH̃eXgASY

FAN

@

@

SOCRATES

i6j H̃eXgASY

H̃eXgASY

i7j x̏̃eXg

x̏̃eXg

E`ItLv`iLaunch-Off-Capturej

@

Qp^[eXg

u[hTChiBroad-Sidej

@

Jڌ̏iTransition Faultj

E`ItVtgiLaunch-Off-Shiftj

@

pXx̏iPath Delay Faultj

XL[h[hiSkewed-Loadj

i8j ʃeXg

ʃeXgiHigh-Level Test Generationj