Mining Quantified Temporal Rules: Formalism, Algorithms, and Evaluation

• Main Authors: LO, David, RAMALINGAM, Ganesan, RANGANATH, Venkatesh Prasad, VASWANI, Kapil
• Format: text
• Language: English
• Published: Institutional Knowledge at Singapore Management University 2012
• Subjects: Specification mining; Temporal rules; Quantification; Dynamic analysis; Reverse engineering; Software Engineering
• 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
• Institution: Singapore Management University

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