Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation

Libraries usually impose constraints on how clients should use them. Often these constraints are not well-documented. In this paper, we address the problem of recovering such constraints automatically, a problem referred to as specification mining. Given some client programs that use a given library...

Full description

Saved in:
Bibliographic Details
Main Authors: LO, David, RAMALINGAM, Ganesan, RANGANATH, Venkatesh Prasad, VASWANI, Kapil
Format: text
Language:English
Published: Institutional Knowledge at Singapore Management University 2012
Subjects:
Online Access:https://ink.library.smu.edu.sg/sis_research/1345
https://ink.library.smu.edu.sg/context/sis_research/article/2344/viewcontent/Mining_quantified_temporal_rules_Formalism__algorithms__and_evaluation.pdf
Tags: Add Tag
No Tags, Be the first to tag this record!
Institution: Singapore Management University
Language: English