DSpace at School of Computing, NUS: Item 1900.100/2778

Please use this identifier to cite or link to this item: http://hdl.handle.net/1900.100/2778

Title:	Mining Past-Time Temporal Rules
Authors:	LO, David KHOO, Siau-Cheng LIU, Chao
Issue Date:	27-May-2008
Series/Report no.:	;TRA5/08
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...
URI:	http://hdl.handle.net/1900.100/2778
Appears in Collections:	Technical Reports

Files in This Item:

File	Size	Format
TRA5-08.pdf	267Kb	Adobe PDF	View/Open