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