A pattern-based approach to parametric specification mining

Giles Reger; Howard Barringer; David Rydeheard

doi:10.1109/ASE.2013.6693129

A pattern-based approach to parametric specification mining

Giles Reger, Howard Barringer, David Rydeheard

Formal Methods

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

127 Downloads (Pure)

Abstract

This paper presents a technique for using execution traces to mine parametric temporal specifications in the form of quantified event automata (QEA) - previously introduced as an expressive and efficient formalism for runtime verification. We consider a pattern-based mining approach that uses a pattern library to generate and check potential properties over given traces, and then combines successful patterns. By using predefined models to measure the tool's precision and recall we demonstrate that our approach can effectively and efficiently extract specifications in realistic scenarios. © 2013 IEEE.

Original language	English
Title of host publication	2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings\|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.
Publisher	IEEE
Pages	658-663
Number of pages	5
ISBN (Print)	9781479902156
DOIs	https://doi.org/10.1109/ASE.2013.6693129
Publication status	Published - 2013
Event	2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Palo Alto, CA Duration: 1 Jul 2013 → …

Conference

Conference	2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013
City	Palo Alto, CA
Period	1/07/13 → …

Keywords

Runtime Verification, Pattern-based Specification Mining, First-order specifications

Access to Document

10.1109/ASE.2013.6693129

FULL-TEXT

Cite this

@inproceedings{95948aaf06c4472b9e9339ac029d646b,

title = "A pattern-based approach to parametric specification mining",

abstract = "This paper presents a technique for using execution traces to mine parametric temporal specifications in the form of quantified event automata (QEA) - previously introduced as an expressive and efficient formalism for runtime verification. We consider a pattern-based mining approach that uses a pattern library to generate and check potential properties over given traces, and then combines successful patterns. By using predefined models to measure the tool's precision and recall we demonstrate that our approach can effectively and efficiently extract specifications in realistic scenarios. {\textcopyright} 2013 IEEE.",

keywords = "Runtime Verification, Pattern-based Specification Mining, First-order specifications",

author = "Giles Reger and Howard Barringer and David Rydeheard",

year = "2013",

doi = "10.1109/ASE.2013.6693129",

language = "English",

isbn = "9781479902156",

pages = "658--663",

booktitle = "2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.",

publisher = "IEEE",

address = "United States",

note = "2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 ; Conference date: 01-07-2013",

}

Reger, G, Barringer, H & Rydeheard, D 2013, A pattern-based approach to parametric specification mining. in 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. IEEE, pp. 658-663, 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013, Palo Alto, CA, 1/07/13. https://doi.org/10.1109/ASE.2013.6693129

A pattern-based approach to parametric specification mining. / Reger, Giles; Barringer, Howard; Rydeheard, David.
2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.. IEEE, 2013. p. 658-663.

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › peer-review

TY - GEN

T1 - A pattern-based approach to parametric specification mining

AU - Reger, Giles

AU - Barringer, Howard

AU - Rydeheard, David

PY - 2013

Y1 - 2013

N2 - This paper presents a technique for using execution traces to mine parametric temporal specifications in the form of quantified event automata (QEA) - previously introduced as an expressive and efficient formalism for runtime verification. We consider a pattern-based mining approach that uses a pattern library to generate and check potential properties over given traces, and then combines successful patterns. By using predefined models to measure the tool's precision and recall we demonstrate that our approach can effectively and efficiently extract specifications in realistic scenarios. © 2013 IEEE.

AB - This paper presents a technique for using execution traces to mine parametric temporal specifications in the form of quantified event automata (QEA) - previously introduced as an expressive and efficient formalism for runtime verification. We consider a pattern-based mining approach that uses a pattern library to generate and check potential properties over given traces, and then combines successful patterns. By using predefined models to measure the tool's precision and recall we demonstrate that our approach can effectively and efficiently extract specifications in realistic scenarios. © 2013 IEEE.

KW - Runtime Verification, Pattern-based Specification Mining, First-order specifications

U2 - 10.1109/ASE.2013.6693129

DO - 10.1109/ASE.2013.6693129

M3 - Conference contribution

SN - 9781479902156

SP - 658

EP - 663

BT - 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013 - Proceedings|IEEE/ACM Int. Conf. Autom. Softw. Eng., ASE - Proc.

PB - IEEE

T2 - 2013 28th IEEE/ACM International Conference on Automated Software Engineering, ASE 2013

Y2 - 1 July 2013

ER -

A pattern-based approach to parametric specification mining

Abstract

Conference

Keywords

Access to Document

Fingerprint

Cite this