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

Publikation: Beitrag in Fachzeitschrift › Artikel › Begutachtung

Originalsprache	Englisch
Seiten (von - bis)	757-795
Seitenumfang	39
Fachzeitschrift	Software Quality Journal
Volume	27
Publikationsstatus	Veröffentlicht - 2019

Research Field

Dependable Systems Engineering
Molecular Diagnostics

Diese Publikation zitieren

@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 -