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

Publikation: Beitrag in einer Fachzeitschrift › Artikel › Begutachtung

Originalsprache	englisch
Seiten (von - bis)	757-795
Fachzeitschrift	Software Quality Journal
Jahrgang	27
Ausgabenummer	2
DOIs	https://doi.org/10.1007/s11219-018-9432-8
Publikationsstatus	Veröffentlicht - 2019

Zugriff auf Dokument

10.1007/s11219-018-9432-8

TRUCONF - Erhöhung der Zuverlässigkeit von komplexen Systems of Systems [Original in Englisch: Trust via cost function driven model based test case generation for non-functional properties of systems of systems]
Aichernig, B.
1/11/14 → 31/10/17
Projekt: Forschungsprojekt

Dieses zitieren

@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

Zugriff auf Dokument

Projekte

TRUCONF - Erhöhung der Zuverlässigkeit von komplexen Systems of Systems [Original in Englisch: Trust via cost function driven model based test case generation for non-functional properties of systems of systems]

Dieses zitieren