Quote: consistency test by annotating procedure with dependency relations for each result; useful for large, untidy structures

Quotation Skeleton

The Aspect bug detection scheme works as follows. … depends on certain arguments. An upper bound on … [specified] dependence is missing--that is, a result was computed with inadequate … there are no spurious reports. … Dependencies are tract between abstract components of variables … [Aspects] are invented by the user, who can … [p. 26] when there are complex interactions between large …   Google-1   Google-2

Copyright clearance needed for quotation.

Related Topics

Topic: debugging by usage rules (40 items)
Topic: dependency analysis (31 items)