related to Reducing runtime overhead · 20Runtime verification → An, Combination, Efficient, Extracting, Finally, For, Good, HasNext, However, Improved, It, Observing, Runtime, SafeLock, Static, The, There, Thus, What, When
related to Specifying properties · 18Runtime verification → An, Better, Büchi, Compared, Designing, Even, Finally, Fortunately, If, In, Mining, More, No, One, Others, Quantitative, Reading, Some
related to UnsafeEnum · 17Runtime verification → Besides, ConcurrentModificationException, Enumeration, Enumerations, For, Here, However, Intuitively, Iterator, Java, One, Some, The, The Vector, This, Vector, What
related to Increasing coverage · 14Runtime verification → Compared, Consider, Dynamic, In, Input, Instead, It, Off-the-shelf, One, Techniques, That, This, UnsafeEnum, When
related to history · 12Runtime verification → Checking, Currently, Early, For, Grigore Rosu, In, Java, Klaus Havelund, NASA Ames Research Center, Runtime, The, They
related to SafeLock · 12Runtime verification → Below, For, Here, In, Lock, Locks, The, The SafeLock, They, This, Thread, Threads
related to Behavior modification · 11Runtime verification → Action, However, Implementation, In, Invocation, It, One, Reasoning, Similar, Specification, Unlike
related to Examples · 11Runtime verification → April, Here, In, Java, Java API, None, Parametric, Some, The, To, UnsafeEnumExample
related to HasNext · 11Runtime verification → Collection, Finally, From, If, IfhasNext, In, It, Iterator, The, The Java Iterator, What
related to Aspect-oriented programming · 7Runtime verification → AOP, Aspect-oriented, Aspect-oriented Programming, AspectJ, Further, Many, Researchers
