Mining quantified temporal rules: formalism, algorithms, and evaluation

DOI10.1016/J.SCICO.2010.10.003MaRDI QIDQ436396zbMATH OpenOpenAlexFDO

Authors David Lo, G. Ramalingam, Venkatesh-Prasad Ranganath, Kapil Vaswani

Publication date 20 July 2012

Published in Science of Computer Programming (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.scico.2010.10.003

zbMATH Keywords

quantificationdynamic analysisreverse engineeringspecification miningtemporal rules

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Recommendations

• Temporal logic specification mining of programs
• Mining specifications
• Tools and Algorithms for the Construction and Analysis of Systems
• Extracting interval temporal logic rules: a first approach
• scientific article; zbMATH DE number 2088117

Cited in

(3)

• Survey on mining signal temporal logic specifications
• Tools and Algorithms for the Construction and Analysis of Systems
• Temporal logic specification mining of programs

Describes a project that uses

Uses Software

• Perracotta

This page was built for publication: Mining quantified temporal rules: formalism, algorithms, and evaluation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q436396)