7. The method of claim 1 , wherein the execution trace is monitored using at least one of a static pattern interval and a dynamic pattern interval.
7. The method of claim 1 , wherein the execution trace is monitored using at least one of a static pattern interval and a dynamic pattern interval. 8. The method of claim 7 , wherein: a static pattern interval specifies a beginning boundary condition (B) and an ending boundary condition (E) between which a pattern (P) is expected to occur; and a dynamic pattern interval indicates that eventually there is an interval, beginning with a beginning boundary condition (B) and ending with an ending boundary condition (E), during which a pattern (P) holds.