Suggesting edits to explain failing traces

Giles Reger

doi:10.1007/978-3-319-23820-3_20

Suggesting edits to explain failing traces

Giles Reger^*

^*Corresponding author for this work

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

Abstract

Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. However, a simple ‘yes’ or ‘no’ answer may not be sufficient; often we need to understand why a violation occurs. This paper considers how computing the edit-distance between a trace and a specification can explain violations by suggesting correcting edits to the trace. By including information about the code location producing events in the trace, this method can highlight sources of bugs and suggest potential fixes.

Original language	English
Title of host publication	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Publisher	Springer Nature
Pages	287-293
Number of pages	7
Volume	9333
ISBN (Print)	9783319238197
DOIs	https://doi.org/10.1007/978-3-319-23820-3_20
Publication status	Published - 2015
Event	6th International Conference on Runtime Verification, RV 2015 - Vienna, Austria Duration: 22 Sept 2015 → 25 Sept 2015

Publication series

Name	Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume	9333
ISSN (Print)	03029743
ISSN (Electronic)	16113349

Conference

Conference	6th International Conference on Runtime Verification, RV 2015
Country/Territory	Austria
City	Vienna
Period	22/09/15 → 25/09/15

Access to Document

10.1007/978-3-319-23820-3_20

Cite this

Reger, G. (2015). Suggesting edits to explain failing traces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 9333, pp. 287-293). (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9333). Springer Nature. https://doi.org/10.1007/978-3-319-23820-3_20

Reger, Giles. / Suggesting edits to explain failing traces. Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9333 Springer Nature, 2015. pp. 287-293 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)).

@inproceedings{29301545d95f4f269273e87a0d54d4f1,

title = "Suggesting edits to explain failing traces",

abstract = "Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. However, a simple {\textquoteleft}yes{\textquoteright} or {\textquoteleft}no{\textquoteright} answer may not be sufficient; often we need to understand why a violation occurs. This paper considers how computing the edit-distance between a trace and a specification can explain violations by suggesting correcting edits to the trace. By including information about the code location producing events in the trace, this method can highlight sources of bugs and suggest potential fixes.",

author = "Giles Reger",

year = "2015",

doi = "10.1007/978-3-319-23820-3_20",

language = "English",

isbn = "9783319238197",

volume = "9333",

series = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

publisher = "Springer Nature",

pages = "287--293",

booktitle = "Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)",

address = "United States",

note = "6th International Conference on Runtime Verification, RV 2015 ; Conference date: 22-09-2015 Through 25-09-2015",

}

Reger, G 2015, Suggesting edits to explain failing traces. in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). vol. 9333, Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), vol. 9333, Springer Nature, pp. 287-293, 6th International Conference on Runtime Verification, RV 2015, Vienna, Austria, 22/09/15. https://doi.org/10.1007/978-3-319-23820-3_20

Suggesting edits to explain failing traces. / Reger, Giles.
Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9333 Springer Nature, 2015. p. 287-293 (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics); Vol. 9333).

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

TY - GEN

T1 - Suggesting edits to explain failing traces

AU - Reger, Giles

PY - 2015

Y1 - 2015

N2 - Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. However, a simple ‘yes’ or ‘no’ answer may not be sufficient; often we need to understand why a violation occurs. This paper considers how computing the edit-distance between a trace and a specification can explain violations by suggesting correcting edits to the trace. By including information about the code location producing events in the trace, this method can highlight sources of bugs and suggest potential fixes.

AB - Runtime verification involves checking whether an execution trace produced by a running system satisfies a specification. However, a simple ‘yes’ or ‘no’ answer may not be sufficient; often we need to understand why a violation occurs. This paper considers how computing the edit-distance between a trace and a specification can explain violations by suggesting correcting edits to the trace. By including information about the code location producing events in the trace, this method can highlight sources of bugs and suggest potential fixes.

UR - http://www.scopus.com/inward/record.url?scp=84950323166&partnerID=8YFLogxK

U2 - 10.1007/978-3-319-23820-3_20

DO - 10.1007/978-3-319-23820-3_20

M3 - Conference contribution

AN - SCOPUS:84950323166

SN - 9783319238197

VL - 9333

T3 - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

SP - 287

EP - 293

BT - Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

PB - Springer Nature

T2 - 6th International Conference on Runtime Verification, RV 2015

Y2 - 22 September 2015 through 25 September 2015

ER -

Reger G. Suggesting edits to explain failing traces. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics). Vol. 9333. Springer Nature. 2015. p. 287-293. (Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)). doi: 10.1007/978-3-319-23820-3_20

Suggesting edits to explain failing traces

Abstract

Publication series

Conference

Access to Document

Other files and links

Fingerprint

Cite this