{"id":214,"date":"2016-07-29T04:44:19","date_gmt":"2016-07-29T04:44:19","guid":{"rendered":"http:\/\/ictss2016.ist.tugraz.at\/?page_id=214"},"modified":"2016-08-08T12:12:38","modified_gmt":"2016-08-08T12:12:38","slug":"accepted-papers","status":"publish","type":"page","link":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/accepted-papers\/","title":{"rendered":"Accepted papers"},"content":{"rendered":"<h1>Accepted full\u00a0 papers:<\/h1>\n<ul>\n<li>Andr\u00e9 Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif and Marcel Gehlen, <em>Risk-based Interoperability Testing using Reinforcement Learning<\/em>.<\/li>\n<li>Robert Hierons, Mercedes Merayo and Manuel Nunez, <em>Controllability through nondeterminism in distributed testing<\/em>.<\/li>\n<li>Krishna Patel and Robert Hierons, <em>Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness<\/em>.<\/li>\n<li>Gregor V. Bochmann, <em>Conformance Testing in Respect to Partial-Order Specifications<\/em>.<\/li>\n<li>Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger and Reinhard German, <em>From Simulation Data to Test Cases for Fully Automated Driving and ADAS<\/em>.<\/li>\n<li>Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue and Marius Liaaen, STIPI: <em>Using Search to Prioritize Test Cases based on Multi-Objectives Derived from Industrial Practice<\/em>.<\/li>\n<li>Serta\u00e7 Karahoda, Osman Tufan Erenay, Uraz Cengiz Turker, Kamer Kaya and H\u00fcsn\u00fc Yenig\u00fcn, <em>Parallelizing Heuristics for Generating Synchronizing Sequences<\/em>.<\/li>\n<li>Benedikt Eberhardinger, Axel Habermaier, Hella Seebach and Wolfgang Reif, <em>Back-to-Back Testing of Self-Organization Mechanisms<\/em>.<\/li>\n<li>Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt and Paul Pettersson, <em>Mutation-Based Test Generation for PLC Embedded Software using Model Checking<\/em>.<\/li>\n<li>Alexandre Petrenko, Omer Landry Nguena Timo and S Ramesh.<em> Test Generation by Constraint Solving and FSM Mutant Killing<\/em><\/li>\n<li>Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn and Yu Lei, <em>A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing<\/em>.<\/li>\n<li>Nina Yevtushenko, Khaled El-Fakih and Anton Ermakov, <em>On-the-fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications<\/em>.<\/li>\n<\/ul>\n<h1>Accepted short papers:<\/h1>\n<ul>\n<li>Philipp Haindl and Felix M\u00f6dritscher, <em>Monitoring and Analysis of Software Quality Metrics on Integration Middleware<\/em>.<\/li>\n<li>Antti J\u00e4\u00e4skel\u00e4inen, <em>Towards Model Construction Based on Test Cases and GUI Extraction<\/em>.<\/li>\n<li>Cristiano Ara\u00fajo, Ingrid Nunes and Daltro Nunes, <em>On the Effectiveness of Bug Predictors with Procedural Systems: a Quantitative Study<\/em>.<\/li>\n<li>H\u00e9l\u00e8ne Collavizza, Claude Michel and Michel Rueher, <em>Searching critical values for floating-point programs<\/em>.<\/li>\n<li>Ludwig Kampel and Dimitris E. Simos, <em>Set-based Algorithms for Combinatorial Test Set Generation<\/em>.<\/li>\n<li>Eder Gomes, Paulo Amora, Elvis Teixeira, Antonio Lima, Felipe Brito, Juliano Ciocari and Javam Machado, <em>UTTOS: A Tool for Testing UEFI Code in OS Environment<\/em>.<\/li>\n<li>Dalton Jorge, Everton Alves, Wilkerson L. Andrade and Patricia Machado, <em>Making Use Case Specifications Handy to Model-Based Testing<\/em>.<\/li>\n<li>Mirella Martinez, Anna I Esparcia Alcazar, Urko Rueda, Tanja E. J. Vos and Carlos Ortega, <em>Another experience with Test* in industry: automated localisation testing<\/em>.<\/li>\n<li>Masaki Suzuki, Quentin Plessis, Takeshi Kitahara and Masato Tsuru, <em>Distribution Visualization for User Behavior Analysis on LTE Network<\/em>.<\/li>\n<\/ul>\n<p>&nbsp;<\/p>\n","protected":false},"excerpt":{"rendered":"<p>Accepted full\u00a0 papers: Andr\u00e9 Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif and Marcel Gehlen, Risk-based Interoperability Testing using Reinforcement Learning. Robert Hierons, Mercedes Merayo and Manuel Nunez, Controllability through nondeterminism in distributed testing. Krishna Patel and Robert Hierons, Resolving the &hellip; <a href=\"https:\/\/ictss2016.sai.tugraz.at\/index.php\/accepted-papers\/\">Continue reading <span class=\"meta-nav\">&rarr;<\/span><\/a><\/p>\n","protected":false},"author":4,"featured_media":0,"parent":0,"menu_order":0,"comment_status":"closed","ping_status":"closed","template":"","meta":{"footnotes":""},"class_list":["post-214","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/214","targetHints":{"allow":["GET"]}}],"collection":[{"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages"}],"about":[{"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/types\/page"}],"author":[{"embeddable":true,"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/users\/4"}],"replies":[{"embeddable":true,"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/comments?post=214"}],"version-history":[{"count":3,"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/214\/revisions"}],"predecessor-version":[{"id":225,"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/214\/revisions\/225"}],"wp:attachment":[{"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=214"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}