{"id":200,"date":"2018-06-18T17:31:43","date_gmt":"2018-06-18T15:31:43","guid":{"rendered":"http:\/\/truconf.ist.tugraz.at\/?p=200"},"modified":"2018-11-13T12:59:24","modified_gmt":"2018-11-13T11:59:24","slug":"publication-at-setta-2018","status":"publish","type":"post","link":"https:\/\/truconf.sai.tugraz.at\/index.php\/2018\/06\/18\/publication-at-setta-2018\/","title":{"rendered":"Publication at SETTA 2018"},"content":{"rendered":"<p>A new publication has been accepted at the <a href=\"http:\/\/lcs.ios.ac.cn\/setta2018\/\">SETTA 2018<\/a>.<\/p>\n<p><span class=\"s1\">Bernhard K. Aichernig, Severin Kann and Richard Schumi: \u201cStatistical Model Checking of Response Times for Different System Deployments<\/span><span class=\"s1\">\u201c, In <em>Dependable Software Engineering. Theories, Tools, and Applications &#8211;\u00a04th\u00a0International Symposium, SETTA 2018, Beijing, China, Sep. 4-6, 2018<\/em><\/span><span class=\"s1\"><em>.<\/em><em>Lecture Notes in Computer Science<\/em>. Springer, 2018. (<a href=\"https:\/\/truconf.sai.tugraz.at\/wp-content\/uploads\/sites\/11\/2018\/06\/setta2018.pdf\">PDF<\/a>)(<a href=\"http:\/\/dx.doi.org\/10.1007\/978-3-319-99933-3_11\">doi:10.1007\/978-3-319-99933-3_11<\/a>)<\/span><\/p>\n<p>The paper\u00a0was presented at the\u00a0<a href=\"http:\/\/lcs.ios.ac.cn\/setta2018\">Symposium on Dependable Software Engineering: Theories, Tools and Applications<\/a>\u00a0on\u00a0Sep. 4-6 2018 in Beijing, China.<\/p>\n<p>Abstract:<\/p>\n<p>Performance testing is becoming increasingly important for interactive systems. Evaluating their performance with respect to user expectations is complex, especially for different system deployments. Various load-testing approaches and performance-simulation methods aim at such analyses.However, these techniques have certain disadvantages, like a high testing effort for load testing, and a questionable model accuracy for simulation methods. Hence, we propose a combination of both techniques. We apply statistical model checking with a learned timed model and evaluate the results on the real system with hypothesis testing. Moreover, we check the established hypotheses of a reference system on various system deployments (configurations), like different hardware or network settings, and analyse the influence on the performance. Our method is realised with a property-based testing tool that is extended with algorithms from statistical model checking. We illustrate the feasibility of our technique with an industrial case study of a web application.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>A new publication has been accepted at the SETTA 2018. Bernhard K. Aichernig, Severin Kann and Richard Schumi: \u201cStatistical Model Checking of Response Times for Different System Deployments\u201c, In Dependable Software Engineering. Theories, Tools, and Applications &#8211;\u00a04th\u00a0International Symposium, SETTA 2018, &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"more-link\" href=\"https:\/\/truconf.sai.tugraz.at\/index.php\/2018\/06\/18\/publication-at-setta-2018\/\"> <span class=\"screen-reader-text\">Publication at SETTA 2018<\/span> Read More &raquo;<\/a><\/p>\n","protected":false},"author":28,"featured_media":0,"comment_status":"open","ping_status":"open","sticky":false,"template":"","format":"standard","meta":{"footnotes":""},"categories":[3],"tags":[],"class_list":["post-200","post","type-post","status-publish","format-standard","hentry","category-publications"],"_links":{"self":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/200","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts"}],"about":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/types\/post"}],"author":[{"embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/users\/28"}],"replies":[{"embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/comments?post=200"}],"version-history":[{"count":6,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/200\/revisions"}],"predecessor-version":[{"id":230,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/200\/revisions\/230"}],"wp:attachment":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=200"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/categories?post=200"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/tags?post=200"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}