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 Alexander Schumi

Research output: Contribution to journalArticleResearchpeer-review

Original languageEnglish
Pages (from-to)757-795
JournalSoftware quality journal
Volume27
Issue number2
DOIs
Publication statusPublished - 2019

Cite this

Aichernig, B., Bauerstätter, P., Jöbstl, E., Kann, S., Korosec, R., Krenn, W., ... Schumi, R. A. (2019). Learning and statistical model checking of system response times. Software quality journal, 27(2), 757-795. https://doi.org/10.1007/s11219-018-9432-8

Learning and statistical model checking of system response times. / Aichernig, Bernhard; Bauerstätter, Priska; Jöbstl, Elisabeth; Kann, Severin; Korosec, Robert; Krenn, Willibald; Mateis, Cristinel; Schlick, Rupert; Schumi, Richard Alexander.

In: Software quality journal, Vol. 27, No. 2, 2019, p. 757-795.

Research output: Contribution to journalArticleResearchpeer-review

Aichernig, B, Bauerstätter, P, Jöbstl, E, Kann, S, Korosec, R, Krenn, W, Mateis, C, Schlick, R & Schumi, RA 2019, 'Learning and statistical model checking of system response times' Software quality journal, vol. 27, no. 2, pp. 757-795. https://doi.org/10.1007/s11219-018-9432-8
Aichernig, Bernhard ; Bauerstätter, Priska ; Jöbstl, Elisabeth ; Kann, Severin ; Korosec, Robert ; Krenn, Willibald ; Mateis, Cristinel ; Schlick, Rupert ; Schumi, Richard Alexander. / Learning and statistical model checking of system response times. In: Software quality journal. 2019 ; Vol. 27, No. 2. pp. 757-795.
@article{539bd47fd0924bf3ac4ac7005d308eb3,
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 Schumi, {Richard Alexander}",
year = "2019",
doi = "10.1007/s11219-018-9432-8",
language = "English",
volume = "27",
pages = "757--795",
journal = "Software quality journal",
issn = "0963-9314",
publisher = "Springer New York",
number = "2",

}

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 Alexander

PY - 2019

Y1 - 2019

U2 - 10.1007/s11219-018-9432-8

DO - 10.1007/s11219-018-9432-8

M3 - Article

VL - 27

SP - 757

EP - 795

JO - Software quality journal

JF - Software quality journal

SN - 0963-9314

IS - 2

ER -