Mining quantified temporal rules: formalism, algorithms, and evaluation

DOI10.1016/J.SCICO.2010.10.003zbMATH Open1243.68151OpenAlexW2001123253MaRDI QIDQ436396FDOQ436396

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

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

zbMATH Keywords

quantificationdynamic analysisreverse engineeringspecification miningtemporal rules

Mathematics Subject Classification ID

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

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

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)