A pattern-based approach to parametric specification mining
The work
| Authors | Giles Reger; Howard Barringer; David E. Rydeheard |
|---|---|
| Editors | |
| Type | misc |
| Year | 2013 |
| Citekey | reger2013patternbased |
Where it appeared
| Published in | IEEE/ACM International Conference on Automated Software Engineering (ASE) |
|---|---|
| Pages | 658--663 |
Identifiers
| DOI | 10.1109/ase.2013.6693129 |
|---|---|
| OpenAlex | W2110972493 |
Access
| Landing page | https://doi.org/10.1109/ase.2013.6693129 |
|---|
From OpenAlex, which stores abstracts as an index of words and their positions: what is shown is rebuilt from that, and reads fluently whether or not it is what the author wrote.
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.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 07:26 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{reger2013patternbased,
title = {A pattern-based approach to parametric specification mining},
author = {Giles Reger and Howard Barringer and David E. Rydeheard},
year = {2013},
journal = {IEEE/ACM International Conference on Automated Software Engineering (ASE)},
pages = {658--663},
doi = {10.1109/ase.2013.6693129},
}
This record lives at https://refs.drheap.org/reger2013patternbased/ and will keep doing so.