{"id":247,"date":"2016-09-09T05:33:02","date_gmt":"2016-09-09T05:33:02","guid":{"rendered":"http:\/\/ictss2016.ist.tugraz.at\/?page_id=247"},"modified":"2016-10-18T06:06:20","modified_gmt":"2016-10-18T04:06:20","slug":"schedule","status":"publish","type":"page","link":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/schedule\/","title":{"rendered":"Schedule"},"content":{"rendered":"<p>The registration desk will be open each day of the conference from 8:30 to 9:00. The registration desk will be located close to lecture hall HS 2 in the main building. When entering TU Graz using the main entrance you have to go downstairs. The main program of ICTSS will be carried out at the AULA, which is located at the first floor of the building.<\/p>\n<p>For details about the workshop schedules have a look at the respective workshop web pages. You find a map of the building including the different workshop and main venues at the Venue\/Location page.<\/p>\n<h1>Monday, Oktober 17th 2016<\/h1>\n<p><strong>8:50 \u2013 9:00 Welcome<\/strong><\/p>\n<p><strong>9:00 \u2013 10:00 Invited Talk (Chair: Franz Wotawa)<\/strong><\/p>\n<p>Gamifying Software Testing<br \/>\n<em> Gordon Fraser, University of Sheffield, UK<\/em><\/p>\n<p><strong>10:00 \u2013 10:30 Coffee Break<\/strong><\/p>\n<p><strong>10:30 \u2013 12:00 Session 1 (Chair: Manuel Nu\u00f1ez)<\/strong><\/p>\n<p>Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness<br \/>\n<em>Krishna Patel and Robert Hierons<\/em><\/p>\n<p>Mutation-Based Test Generation for PLC Embedded Software using Model Checking<br \/>\n<em>Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt and Paul Pettersson<\/em><\/p>\n<p>Test Generation by Constraint Solving and FSM Mutant Killing<br \/>\n<em>Alexandre Petrenko, Omer Landry Nguena Timo and S. Ramesh<\/em><\/p>\n<p><strong>12:00 \u2013 13:30 Lunch<\/strong><\/p>\n<p><strong>13:30 \u2013 15:00 Session 2 (Chair: Andreas Ulrich)<\/strong><\/p>\n<p>Risk-based Interoperability Testing using Reinforcement Learning<br \/>\n<em>Andr\u00e9 Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif and Marcel Gehlen<\/em><\/p>\n<p>From Simulation Data to Test Cases for Fully Automated Driving and ADAS<br \/>\n<em>Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger and Reinhard German<\/em><\/p>\n<p>STIPI: Using Search to Prioritize Test Cases based on Multi-Objectives Derived from Industrial Practice<br \/>\n<em>Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue and Marius Liaaen<\/em><\/p>\n<p><strong>15:00 \u2013 15:30 Coffee Break<\/strong><\/p>\n<p><strong>15:30 \u2013 17:00 Session 3 (Chair: Mercedes G. Merayo)<\/strong><\/p>\n<p>UTTOS: A Tool for Testing UEFI Code in OS Environment<br \/>\n<em>Eder Gomes, Paulo Amora, Elvis Teixeira, Antonio Lima, Felipe Brito, Juliano Ciocari and Javam Machado<\/em><\/p>\n<p>Another experience with Test* in industry: automated localisation testing<br \/>\n<em>Mirella Martinez, Anna I Esparcia Alcazar, Urko Rueda, Tanja E. J. Vos and Carlos Ortega<\/em><\/p>\n<p>Distribution Visualization for User Behavior Analysis on LTE Network<br \/>\n<em>Masaki Suzuki, Quentin Plessis, Takeshi Kitahara and Masato Tsuru<\/em><\/p>\n<p><strong>18:00 \u2013 21:00 Welcome Reception (Campus &#8220;Neue Technik&#8221;, Stremayrgasse 16, Rooftop)<br \/>\n<\/strong><\/p>\n<h1><\/h1>\n<h1>Tuesday, October 18th 2016<\/h1>\n<p><strong>9:00 \u2013 10:00 Invited Talk (Chair:\u00a0Natalia Kushik)<\/strong><\/p>\n<p>Constraint-Based Test Suite Optimization<br \/>\n<em>Arnaud Gotlieb, Simula Research Laboratory, Norway<\/em><\/p>\n<p><strong>10:00 \u2013 10:30 Coffee Break<\/strong><\/p>\n<p><strong>10:30 \u2013 12:00 Session 4 (Chair: Alexandre Petrenko)<\/strong><\/p>\n<p>A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing<br \/>\n<em>Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn and Yu Lei<\/em><\/p>\n<p>Controllability through nondeterminism in distributed testing<br \/>\n<em>Robert Hierons, Mercedes Merayo and Manuel Nunez<\/em><\/p>\n<p>Parallelizing Heuristics for Generating Synchronizing Sequences<br \/>\n<em>Serta\u00e7 Karahoda, Osman Tufan Erenay, Uraz Cengiz Turker, Kamer Kaya and H\u00fcsn\u00fc Yenig\u00fcn<\/em><\/p>\n<p><strong>12:00 \u2013 13:30 Lunch<\/strong><\/p>\n<p><strong>13:30 \u2013 15:00 Session 5 (Chair:\u00a0Zoltan Micskei)<\/strong><\/p>\n<p>Back-to-Back Testing of Self-Organization Mechanisms<br \/>\n<em>Benedikt Eberhardinger, Axel Habermaier, Hella Seebach and Wolfgang Reif<\/em><\/p>\n<p>Conformance Testing in Respect to Partial-Order Specifications<br \/>\n<em>Gregor V. Bochmann<\/em><\/p>\n<p>Searching critical values for floating-point programs<br \/>\n<em>H\u00e9l\u00e8ne Collavizza, Claude Michel and Michel Rueher<\/em><\/p>\n<p><strong>15:00 \u2013 15:30 Coffee Break<\/strong><\/p>\n<p><strong>15:30-16:30 Panel Discussion (Chairs: Harald Altinger and Bernhard Peischl)<br \/>\n<\/strong>&#8220;Digital Eco-Systems and Value Creation&#8221; (<em>DECOSYS<\/em> Workshop)<\/p>\n<p><strong>19:00 \u2013 23:00 Banquet Dinner (Cafe Promenade, Erzherzog-Johann-Allee 1)<br \/>\n<\/strong><\/p>\n<p>&nbsp;<\/p>\n<h1>Wednesday, October 19th 2016<\/h1>\n<p><strong>9:00 \u2013 10:00 Invited Talk (Chair: Mihai Nica)<\/strong><\/p>\n<p>Beyond Test Automation<br \/>\n<em>Jeff Offutt, George Mason University, USA<\/em><\/p>\n<p><strong>10:00 \u2013 10:30 Coffee Break<\/strong><\/p>\n<p><strong>10:30 \u2013 12:00 Session 6 (Chair: Ana Cavalli)<\/strong><\/p>\n<p>Towards Model Construction Based on Test Cases and GUI Extraction<br \/>\n<em>Antti J\u00e4\u00e4skel\u00e4inen<\/em><\/p>\n<p>On-the-fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications<br \/>\n<em>Nina Yevtushenko, Khaled El-Fakih and Anton Ermakov<\/em><\/p>\n<p>Set-based Algorithms for Combinatorial Test Set Generation<br \/>\n<em>Ludwig Kampel and Dimitris E. Simos<\/em><\/p>\n<p><strong>12:00 \u2013 12:10 Closing<\/strong><\/p>\n<p><strong>12:10 \u2013 13:30 Lunch<\/strong><\/p>\n","protected":false},"excerpt":{"rendered":"<p>The registration desk will be open each day of the conference from 8:30 to 9:00. The registration desk will be located close to lecture hall HS 2 in the main building. When entering TU Graz using the main entrance you &hellip; <a href=\"https:\/\/ictss2016.sai.tugraz.at\/index.php\/schedule\/\">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-247","page","type-page","status-publish","hentry"],"_links":{"self":[{"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/247","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=247"}],"version-history":[{"count":7,"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/247\/revisions"}],"predecessor-version":[{"id":342,"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/pages\/247\/revisions\/342"}],"wp:attachment":[{"href":"https:\/\/ictss2016.sai.tugraz.at\/index.php\/wp-json\/wp\/v2\/media?parent=247"}],"curies":[{"name":"wp","href":"https:\/\/api.w.org\/{rel}","templated":true}]}}