Mining Temporal Rules from Program Execution Traces
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...
Saved in:
Main Authors: | LO, David, KHOO, Siau-Cheng, LIU, Chao |
---|---|
Format: | text |
Language: | English |
Published: |
Institutional Knowledge at Singapore Management University
2007
|
Subjects: | |
Online Access: | https://ink.library.smu.edu.sg/sis_research/949 http://portal.acm.org/citation.cfm?id=1401838 |
Tags: |
Add Tag
No Tags, Be the first to tag this record!
|
Institution: | Singapore Management University |
Language: | English |
Similar Items
-
Mining Past-Time Temporal Rules from Execution Traces
by: LO, David, et al.
Published: (2008) -
Mining Modal Scenarios from Execution Traces
by: LO, David, et al.
Published: (2007) -
Mining temporal rules for software maintenance
by: LO, David, et al.
Published: (2008) -
Mining Past-Time Temporal Rules: A Dynamic Analysis Approach
by: LO, David, et al.
Published: (2009) -
Mining Specifications in Diversified Formats from Execution Traces
by: LO, David
Published: (2008)