July 2009
Intermediate to advanced
544 pages
11h 24m
English
Definition A.1: Configurations and runs. We assume that the execution of a specific program is determined by a number of circumstances. Denote the set of possible configurations of circumstances by R.
Definition A.2: rtest. The function rtest: R→ {
, ✓, ?} determines for a program run r ϕ R whether some specific failure occurs (
) or not (✓), or whether the test is unresolved (?).
Definition A.3: Change. A change δ is a mapping δ: R → R. The set of changes C is the set of all ...
Read now
Unlock full access