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.
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.
Monday, Oktober 17th 2016
8:50 – 9:00 Welcome
9:00 – 10:00 Invited Talk (Chair: Franz Wotawa)
Gamifying Software Testing
Gordon Fraser, University of Sheffield, UK
10:00 – 10:30 Coffee Break
10:30 – 12:00 Session 1 (Chair: Manuel Nuñez)
Resolving the Equivalent Mutant Problem in the Presence of Non-determinism and Coincidental Correctness
Krishna Patel and Robert Hierons
Mutation-Based Test Generation for PLC Embedded Software using Model Checking
Eduard Paul Enoiu, Daniel Sundmark, Adnan Causevic, Robert Feldt and Paul Pettersson
Test Generation by Constraint Solving and FSM Mutant Killing
Alexandre Petrenko, Omer Landry Nguena Timo and S. Ramesh
12:00 – 13:30 Lunch
13:30 – 15:00 Session 2 (Chair: Andreas Ulrich)
Risk-based Interoperability Testing using Reinforcement Learning
André Reichstaller, Benedikt Eberhardinger, Alexander Knapp, Wolfgang Reif and Marcel Gehlen
From Simulation Data to Test Cases for Fully Automated Driving and ADAS
Christoph Sippl, Florian Bock, David Wittmann, Harald Altinger and Reinhard German
STIPI: Using Search to Prioritize Test Cases based on Multi-Objectives Derived from Industrial Practice
Dipesh Pradhan, Shuai Wang, Shaukat Ali, Tao Yue and Marius Liaaen
15:00 – 15:30 Coffee Break
15:30 – 17:00 Session 3 (Chair: Mercedes G. Merayo)
UTTOS: A Tool for Testing UEFI Code in OS Environment
Eder Gomes, Paulo Amora, Elvis Teixeira, Antonio Lima, Felipe Brito, Juliano Ciocari and Javam Machado
Another experience with Test* in industry: automated localisation testing
Mirella Martinez, Anna I Esparcia Alcazar, Urko Rueda, Tanja E. J. Vos and Carlos Ortega
Distribution Visualization for User Behavior Analysis on LTE Network
Masaki Suzuki, Quentin Plessis, Takeshi Kitahara and Masato Tsuru
18:00 – 21:00 Welcome Reception (Campus “Neue Technik”, Stremayrgasse 16, Rooftop)
Tuesday, October 18th 2016
9:00 – 10:00 Invited Talk (Chair: Natalia Kushik)
Constraint-Based Test Suite Optimization
Arnaud Gotlieb, Simula Research Laboratory, Norway
10:00 – 10:30 Coffee Break
10:30 – 12:00 Session 4 (Chair: Alexandre Petrenko)
A Combinatorial Approach to Analyzing Cross-Site Scripting (XSS) Vulnerabilities in Web Application Security Testing
Dimitris E. Simos, Kristoffer Kleine, Laleh Shikh Gholamhossein Ghandehari, Bernhard Garn and Yu Lei
Controllability through nondeterminism in distributed testing
Robert Hierons, Mercedes Merayo and Manuel Nunez
Parallelizing Heuristics for Generating Synchronizing Sequences
Sertaç Karahoda, Osman Tufan Erenay, Uraz Cengiz Turker, Kamer Kaya and Hüsnü Yenigün
12:00 – 13:30 Lunch
13:30 – 15:00 Session 5 (Chair: Zoltan Micskei)
Back-to-Back Testing of Self-Organization Mechanisms
Benedikt Eberhardinger, Axel Habermaier, Hella Seebach and Wolfgang Reif
Conformance Testing in Respect to Partial-Order Specifications
Gregor V. Bochmann
Searching critical values for floating-point programs
Hélène Collavizza, Claude Michel and Michel Rueher
15:00 – 15:30 Coffee Break
15:30-16:30 Panel Discussion (Chairs: Harald Altinger and Bernhard Peischl)
“Digital Eco-Systems and Value Creation” (DECOSYS Workshop)
19:00 – 23:00 Banquet Dinner (Cafe Promenade, Erzherzog-Johann-Allee 1)
Wednesday, October 19th 2016
9:00 – 10:00 Invited Talk (Chair: Mihai Nica)
Beyond Test Automation
Jeff Offutt, George Mason University, USA
10:00 – 10:30 Coffee Break
10:30 – 12:00 Session 6 (Chair: Ana Cavalli)
Towards Model Construction Based on Test Cases and GUI Extraction
Antti Jääskeläinen
On-the-fly Construction of Adaptive Checking Sequences for Testing Deterministic Implementations of Nondeterministic Specifications
Nina Yevtushenko, Khaled El-Fakih and Anton Ermakov
Set-based Algorithms for Combinatorial Test Set Generation
Ludwig Kampel and Dimitris E. Simos
12:00 – 12:10 Closing
12:10 – 13:30 Lunch