Browsing by Author "LIU, Chao"

Now showing 1 - 1 of 1
  • No Thumbnail Available
    Item
    Mining Past-Time Temporal Rules
    (2008-05-27) LO, David; KHOO, Siau-Cheng; LIU, Chao
    Specification mining is a process of extracting specifications, often from program execution traces. These specifications can in turn be used to aid program understanding, monitoring and verification. There are a number of dynamic-analysis-based specification mining tools in the literature, however none so far extract past time temporal expressions in the form of rules stating: ``whenever a series of events occur, previously another series of events happened before''. Rules of this format are commonly found in practice and useful for various purposes. Most rule-based specification mining tools only mine future-time temporal expression. Many past-time temporal rules like ``whenever a resource is used, it was allocated before'' are asymmetric as the other direction does not holds. Hence, there is a need to mine past-time temporal rules. In this paper, we describe an approach to mine significant rules of the above format occurring above a certain statistical thresholds from program exe...