Learning and statistical model checking of system response times

Bernhard Aichernig; Priska Bauerstätter; Elisabeth Jöbstl; Severin Kann; Robert Korosec; Willibald Krenn; Cristinel Mateis; Rupert Schlick; Richard Schumi

Learning and statistical model checking of system response times

Bernhard Aichernig, Priska Bauerstätter, Elisabeth Jöbstl, Severin Kann, Robert Korosec, Willibald Krenn, Cristinel Mateis, Rupert Schlick, Richard Schumi

Graz University of Technology

Research output: Contribution to journal › Article › peer-review

Original language	English
Pages (from-to)	757-795
Number of pages	39
Journal	Software Quality Journal
Volume	27
Publication status	Published - 2019

Research Field

Dependable Systems Engineering
Molecular Diagnostics

Cite this

@article{dd9f1791bd8843e4b4e923344024c146,

title = "Learning and statistical model checking of system response times",

author = "Bernhard Aichernig and Priska Bauerst{\"a}tter and Elisabeth J{\"o}bstl and Severin Kann and Robert Korosec and Willibald Krenn and Cristinel Mateis and Rupert Schlick and Richard Schumi",

year = "2019",

language = "English",

volume = "27",

pages = "757--795",

journal = "Software Quality Journal",

issn = "0963-9314",

publisher = "Springer New York",

}

TY - JOUR

T1 - Learning and statistical model checking of system response times

AU - Aichernig, Bernhard

AU - Bauerstätter, Priska

AU - Jöbstl, Elisabeth

AU - Kann, Severin

AU - Korosec, Robert

AU - Krenn, Willibald

AU - Mateis, Cristinel

AU - Schlick, Rupert

AU - Schumi, Richard

PY - 2019

Y1 - 2019

M3 - Article

SN - 0963-9314

VL - 27

SP - 757

EP - 795

JO - Software Quality Journal

JF - Software Quality Journal

ER -