software reliability, 10
software systems, 194, 270
Software Test Documentation, 81
software testing, 80
foundation, 64
sort, 25, 26, 85, 94, 415
factors, 283
test generation using factors, 288
source code analysis, 37
source document, 39
SourceForge, 390
Space program, 599
spanning set, 488
specification, 39
rewrite, 131
specification-based test generation, 181
specification-based tests, 176
specification mutation, 598, 603, 604
SPIN model checker, 81
spiral model, 72
spiral testing, 70, 72, 83
SQLUnit, 390
square root program, 498–499
STAD, 491
stand-alone item, 137
Start node, 460
state
accepting, 198
current, 196, 198
diagram, 196, 197, 199, 206
tabular, 201
diagram of DIGDEC, 197
distinguishable, 202
equivalence, 273
equivalent, 202
estimating maximum number
of, 222
example, ...