Mining quantified temporal rules: formalism, algorithms, and evaluation

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

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

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)

Related Items (1)

Survey on mining signal temporal logic specifications

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)