Mining Past-Time Temporal Rules
| dc.contributor.author | LO, David | en_US |
| dc.contributor.author | KHOO, Siau-Cheng | en_US |
| dc.contributor.author | LIU, Chao | en_US |
| dc.date.accessioned | 2008-06-26T09:37:25Z | en_US |
| dc.date.accessioned | 2017-01-23T07:00:11Z | |
| dc.date.available | 2008-06-26T09:37:25Z | en_US |
| dc.date.available | 2017-01-23T07:00:11Z | |
| dc.date.issued | 2008-05-27 | en_US |
| dc.description.abstract | 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... | en_US |
| dc.format.extent | 273837 bytes | en_US |
| dc.format.mimetype | application/pdf | en_US |
| dc.identifier.uri | https://dl.comp.nus.edu.sg/xmlui/handle/1900.100/2778 | en_US |
| dc.language.iso | en | en_US |
| dc.relation.ispartofseries | TRA5/08 | en_US |
| dc.title | Mining Past-Time Temporal Rules | en_US |
| dc.type | Technical Report | en_US |