{"id":101,"date":"2017-02-01T13:32:41","date_gmt":"2017-02-01T12:32:41","guid":{"rendered":"http:\/\/truconf.ist.tugraz.at\/?p=101"},"modified":"2018-01-04T15:44:31","modified_gmt":"2018-01-04T14:44:31","slug":"publication-at-a-most-2017","status":"publish","type":"post","link":"https:\/\/truconf.sai.tugraz.at\/index.php\/2017\/02\/01\/publication-at-a-most-2017\/","title":{"rendered":"Publication at A-MOST 2017"},"content":{"rendered":"<p class=\"p1\">Another\u00a0publication has been accepted at <a href=\"http:\/\/a-most17.zen-tools.com\/\">A-MOST 2017<\/a>.<\/p>\n<p class=\"p1\"><span class=\"s1\">Bernhard K. Aichernig, Silvio Marcovic and Richard Schumi: &#8220;Property-Based Testing with External Test-Case Generators<\/span><span class=\"s1\">&#8220;, In <em>IEEE 10th\u00a0International Conference on Software\u00a0<\/em><\/span><em><span class=\"s1\">Testing, Verification, and Validation Workshops (ICSTW), 13th Workshop on Advances in Model <\/span><\/em><span class=\"s1\"><em>Based Testing (A-MOST 2017),\u00a0<cite>Tokyo, Japan, 13-17 March, 2017<\/cite>,<\/em> pages 337\u2013346. IEEE Computer Society, 2017. (<a href=\"https:\/\/truconf.sai.tugraz.at\/wp-content\/uploads\/sites\/11\/2017\/02\/amost2017.pdf\">PDF<\/a>)(<a href=\"http:\/\/dx.doi.org\/10.1109\/ICSTW.2017.62\">doi:10.1109\/ICSTW.2017.62<\/a>)<\/span><\/p>\n<p class=\"p1\">The paper will be presented on the 13th Workshop on Advances in Model Based Testing\u00a0<a href=\"http:\/\/a-most17.zen-tools.com\/\" target=\"_blank\">A-MOST 2017<\/a>\u00a0in Tokyo, Japan\u00a0on 17 March\u00a02016. \u00a0The workshop is part of the\u00a010th IEEE International Conference on Software Testing, Verification and Validation (<a href=\"http:\/\/aster.or.jp\/conference\/icst2017\/index.html\" target=\"_blank\">ICST 2017<\/a>).<\/p>\n<p>Abstract:<\/p>\n<p class=\"p1\">Previous work has demonstrated that property-based testing (PBT) is a flexible random testing technique that facilitates the generation of complex form data. For example, it has been shown that PBT can be applied to web-service applications that require various inputs for web-forms. We want to exploit this data generation feature of PBT and combine it with an external test-case generator that can generate test cases via model-based mutation testing. PBT already supports the generation of test cases from stateful models, but it is limited, because it normally only considers the current state during exploration of the model. We want to give the tester more control on how to produce meaningful operation sequences for test cases. By integrating an external test-case generator into a PBT tool, we can create test cases that follow certain coverage criteria. This allows us to reduce the test execution time, because we do not need a large number of random tests to cover certain model aspects. We demonstrate our approach with a simple example of an external generator for regular expressions and perform an industrial case study, where we integrate an existing model-based mutation testing generator.<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Another\u00a0publication has been accepted at A-MOST 2017. Bernhard K. Aichernig, Silvio Marcovic and Richard Schumi: &#8220;Property-Based Testing with External Test-Case Generators&#8220;, In IEEE 10th\u00a0International Conference on Software\u00a0Testing, Verification, and Validation Workshops (ICSTW), 13th Workshop on Advances in Model Based Testing &hellip;<\/p>\n<p class=\"read-more\"> <a class=\"more-link\" href=\"https:\/\/truconf.sai.tugraz.at\/index.php\/2017\/02\/01\/publication-at-a-most-2017\/\"> <span class=\"screen-reader-text\">Publication at A-MOST 2017<\/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-101","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\/101","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=101"}],"version-history":[{"count":6,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/101\/revisions"}],"predecessor-version":[{"id":141,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/posts\/101\/revisions\/141"}],"wp:attachment":[{"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=101"}],"wp:term":[{"taxonomy":"category","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/categories?post=101"},{"taxonomy":"post_tag","embeddable":true,"href":"https:\/\/truconf.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/tags?post=101"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}