| 
|
Quote: correct code by using sound principles during design, verification by analysis, and exhaustive testing of small cases
topics >
all references >
references a-b >
Group:
program proving
Topic:
test data selection
Topic:
trust
Topic:
program proof via assertions
Quotation Skeleton
Many factors contribute to my opinion that the … to "verify" its correctness; and then I let … Google-1 Google-2
Copyright clearance needed for quotation.
Group: program proving (10 topics, 310 quotes)
Topic: test data selection (39 items)
Topic: trust (16 items)
Topic: program proof via assertions (61 items)