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

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

Originalspracheenglisch
Seiten (von - bis)757-795
FachzeitschriftSoftware quality journal
Jahrgang27
Ausgabenummer2
DOIs
PublikationsstatusVeröffentlicht - 2019

Dies zitieren

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, Jahrgang 27, Nr. 2, 2019, S. 757-795.

Publikation: Beitrag in einer FachzeitschriftArtikelForschungBegutachtung

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, Jg. 27, Nr. 2, S. 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 ; Jahrgang 27, Nr. 2. S. 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 -