Symbolic mining of temporal specifications
The work
| Authors | Mark Gabel; Zhendong Su |
|---|---|
| Editors | |
| Type | misc |
| Year | 2008 |
| Citekey | gabel2008symbolic |
Where it appeared
| Published in | Proceedings/Proceedings - International Conference on Software Engineering |
|---|---|
| Publisher | Institute of Electrical and Electronics Engineers |
| Pages | 51--60 |
Identifiers
| DOI | 10.1145/1368088.1368096 |
|---|---|
| OpenAlex | W2165575313 |
Access
| Landing page | https://doi.org/10.1145/1368088.1368096 |
|---|
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
Program specifications are important in many phases of the software development process, but they are often omitted or incomplete. An important class of specifications takes the form of temporal properties that prescribe proper usage of components of a software system. Recent work has focused on the automated inference of temporal specifications from the static or runtime behavior of programs. Many techniques match a specification pattern (represented by a finite state automaton) to all possible combinations of program components and enumerate the possible matches. Such approaches suffer from high space complexity and have not scaled beyond simple, two-letter alternating patterns (e.g. (ab)*). In this paper, we precisely define this form of specification mining and show that its general form is NP-complete.
How it got here
| How it got here | agent via openalex |
|---|---|
| Added | 2026-10-26 07:03 UTC |
| Not denied by | a person 2026-10-29 17:12 UTC |
Cite it as
@misc{gabel2008symbolic,
title = {Symbolic mining of temporal specifications},
author = {Mark Gabel and Zhendong Su},
year = {2008},
journal = {Proceedings/Proceedings - International Conference on Software Engineering},
publisher = {Institute of Electrical and Electronics Engineers},
pages = {51--60},
doi = {10.1145/1368088.1368096},
}
This record lives at https://refs.drheap.org/gabel2008symbolic/ and will keep doing so.