{"id":65,"date":"2016-03-04T16:39:39","date_gmt":"2016-03-04T15:39:39","guid":{"rendered":"http:\/\/truconf.ist.tugraz.at\/?p=65"},"modified":"2018-01-04T15:58:17","modified_gmt":"2018-01-04T14:58:17","slug":"publication-at-a-most-2016","status":"publish","type":"post","link":"https:\/\/truconf.sai.tugraz.at\/index.php\/2016\/03\/04\/publication-at-a-most-2016\/","title":{"rendered":"Publication at A-MOST 2016"},"content":{"rendered":"<p class=\"p1\">Our second publication has been accepted at A-MOST 2016.<\/p>\n<p class=\"p1\"><span class=\"s1\">Bernhard K. Aichernig and Richard Schumi: &#8220;Property-based Testing with FsCheck by Deriving <\/span><span class=\"s1\">Properties from Business Rule Models&#8221;, In <em>2016 IEEE Ninth International Conference on Software\u00a0<\/em><\/span><em><span class=\"s1\">Testing, Verification, and Validation Workshops (ICSTW), 12th Workshop on Advances in Model <\/span><\/em><span class=\"s1\"><em>Based Testing (A-MOST 2016)<cite>, Chicago, IL, USA, April 11-15, 2016<\/cite>,<\/em>\u00a0pages 219\u2013228. IEEE\u00a0Computer Society, 2016. (<a href=\"https:\/\/truconf.sai.tugraz.at\/wp-content\/uploads\/sites\/11\/2016\/03\/AMOST_2016_Aichernig_Schumi.pdf\">PDF<\/a>)(<a href=\"http:\/\/dx.doi.org\/10.1109\/ICSTW.2016.24\">doi:10.1109\/ICSTW.2016.24<\/a>)<\/span><\/p>\n<p class=\"p1\">The paper will be presented on the 12th Workshop on Advances in Model Based Testing\u00a0<a href=\"https:\/\/sites.google.com\/site\/amostw2016\/\" target=\"_blank\">A-MOST 2016<\/a>\u00a0in Chicago, USA on 11 April 2016. \u00a0The workshop is part of the\u00a0<span class=\"xr_tj Normal_text\">International Conference on <\/span><span class=\"xr_tj Normal_text\">Software Testing, Verification and Validation <\/span><a href=\"https:\/\/www.cs.uic.edu\/~icst2016\/\" target=\"_blank\">ICST 2016<\/a>.<\/p>\n<p class=\"p1\">It seems to be the first publication about the property-based testing tool\u00a0<a href=\"https:\/\/fscheck.github.io\/FsCheck\/\">FsCheck<\/a>.<\/p>\n<p class=\"p1\">Abstract:<\/p>\n<p class=\"p1\">Previous work has demonstrated that property-based testing can successfully be applied to web services. For example, it has been shown that JSON schemas can be used to automatically derive test-case generators for web forms. This paper presents a test-case generation approach for web services that takes business rule models as input for property-based testing. We parse these models to automatically derive generators for sequences of web service requests together with their required form data. Most of the work in this field applies property-based testing in the context of functional programming. Here, we define our properties in an object-oriented style in C# and its tool FsCheck. We apply our method to the business rule models of an industrial web service application in the automotive domain.<\/p>\n<p class=\"p1\">\n","protected":false},"excerpt":{"rendered":"<p>Our second publication has been accepted at A-MOST 2016. Bernhard K. Aichernig and Richard Schumi: &#8220;Property-based Testing with FsCheck by Deriving Properties from Business Rule Models&#8221;, In 2016 IEEE Ninth International Conference on Software\u00a0Testing, Verification, and Validation Workshops (ICSTW), 12th &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"more-link\" href=\"https:\/\/truconf.sai.tugraz.at\/index.php\/2016\/03\/04\/publication-at-a-most-2016\/\"> <span class=\"screen-reader-text\">Publication at A-MOST 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-65","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\/65","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=65"}],"version-history":[{"count":13,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/65\/revisions"}],"predecessor-version":[{"id":144,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/65\/revisions\/144"}],"wp:attachment":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=65"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/categories?post=65"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/tags?post=65"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}