contract software, 65
control computer, 154
control dependence, 57, 80
example, 57
control dependency, 365
control-flow coverage, 489
control-flow graph (CFG), 46, 79–80,
348, 349, 458
child, 348
construction, 46
edge, 48
main, 348
node, 48
of function, 348
pictorial representation, 48
control node
direct, 365
indirect, 365
control software, 110, 154
control-flow behavior, 83
CORBA, 63
core behavior, 239
example, 240
of FSM, 240
correctness, 15–17
correctness proof, 81
cost criterion, 378
coupling effect, 487, 506, 529,
532, 594
fact or fiction, 596
coupon, 126
coverage, 403
as percentage, 418
block, 485
control-flow, 41
edge, 489
extent, 403
hardware designs, 492
kernel mode, 489
lack of, 483
LCSAJ, 429
requirements, 482
residual, 378, 379
user mode, 489
coverage analysis
coarse, ...