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...

Full description

Saved in:
Bibliographic Details
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