Learning and statistical model checking of system response times
Aichernig, Bernhard K., Bauerstätter, Priska, Jöbstl, Elisabeth, Kann, Severin, Korošec, Robert, Krenn, Willibald, Mateis, Cristinel, Schlick, Rupert, Schumi, RichardLanguage:
english
Journal:
Software Quality Journal
DOI:
10.1007/s11219-018-9432-8
Date:
January, 2019
File:
PDF, 3.96 MB
english, 2019