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

doi:10.1007/s11219-018-9432-8

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 journal › Article › peer-review

Original language	English
Pages (from-to)	757-795
Journal	Software Quality Journal
Volume	27
Issue number	2
DOIs	https://doi.org/10.1007/s11219-018-9432-8
Publication status	Published - 2019

Access to Document

10.1007/s11219-018-9432-8

TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems
Aichernig, B. (Project manager on research unit)
1/11/14 → 31/10/17
Project: Research project

Cite this

@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

SN - 0963-9314

VL - 27

SP - 757

EP - 795

JO - Software Quality Journal

JF - Software Quality Journal

IS - 2

ER -

Learning and statistical model checking of system response times

Access to Document

Projects

TRUCONF - Trust via cost function driven model based test case generation for non-functional properties of systems of systems

Cite this