{"id":84,"date":"2016-10-18T23:16:53","date_gmt":"2016-10-18T21:16:53","guid":{"rendered":"http:\/\/truconf.ist.tugraz.at\/?p=84"},"modified":"2018-01-05T14:54:40","modified_gmt":"2018-01-05T13:54:40","slug":"publication-at-memocode16","status":"publish","type":"post","link":"https:\/\/truconf.sai.tugraz.at\/index.php\/2016\/10\/18\/publication-at-memocode16\/","title":{"rendered":"Publication at MEMOCODE 2016"},"content":{"rendered":"<p>Another publication has been accepted at\u00a0<a href=\"http:\/\/memocode.irisa.fr\/\">MEMOCODE&#8217;16<\/a>.<\/p>\n<p>Bernhard K. Aichernig and Richard Schumi: &#8220;Towards Integrating Statistical Model Checking into Property-Based Testing&#8221;. In 14th ACM\/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE, Kanpur, India, Nov. 18\u201320, 2016, pages 71\u201376. IEEE Computer Society, 2016. (<a href=\"https:\/\/truconf.sai.tugraz.at\/wp-content\/uploads\/sites\/11\/2016\/10\/memocode16.pdf\">PDF<\/a>)(<a href=\"http:\/\/dx.doi.org\/10.1109\/MEMCOD.2016.7797748\">doi:10.1109\/MEMCOD.2016.7797748<\/a>)<\/p>\n<p>Abstract:<\/p>\n<p>In recent years statistical model checking (SMC) became increasingly popular, mainly because it does not suffer from one of the major problems that limits traditional model checking, the so called state-space-explosion problem. SMC solves this problem by simulating a stochastic model for finitely many executions. There exist a number of SMC tools, but they require the user to learn a specific modelling language and a particular (temporal) logic to express properties. In this paper we propose a more flexible application of SMC, where both the model and the properties can be defined in a programming language. The technique builds upon the well-known property-based testing approach. We use the programming language C# and its associated tool FsCheck to demonstrate our approach. A stochastic counter serves as illustrating example.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Another publication has been accepted at\u00a0MEMOCODE&#8217;16. Bernhard K. Aichernig and Richard Schumi: &#8220;Towards Integrating Statistical Model Checking into Property-Based Testing&#8221;. In 14th ACM\/IEEE International Conference on Formal Methods and Models for System Design, MEMOCODE, Kanpur, India, Nov. 18\u201320, 2016, pages &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"more-link\" href=\"https:\/\/truconf.sai.tugraz.at\/index.php\/2016\/10\/18\/publication-at-memocode16\/\"> <span class=\"screen-reader-text\">Publication at MEMOCODE 2016<\/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-84","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\/84","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=84"}],"version-history":[{"count":7,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/84\/revisions"}],"predecessor-version":[{"id":146,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/84\/revisions\/146"}],"wp:attachment":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=84"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/categories?post=84"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/tags?post=84"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}