@article{d06b7fd2f66b4f9085eb288fcd12b1a9,
title = "Learning and statistical model checking of system response times",
keywords = "Statistical computing, Statistical Data Analysis, Statistical modelling, statistical models, model based testing, statistical model checking, performance analysis, stochastic models, linear regression, Monte Carlo simulation, System response times",
author = "Aichernig, {Bernhard K.} 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",
month = jan,
day = "3",
doi = "10.1007/s11219-018-9432-8",
language = "English",
volume = "27",
journal = "Software Quality Journal",
issn = "0963-9314",
publisher = "Springer New York",
}