UCAAT 2014 | Program

Time	Tuesday 16^th September
	Regular Conference Tutorial		Special Session on Standardization in Testing (parallel event)
9.00			Welcome by Stephan Schulz, ETSI TC MTS Chairman
9.15 - 9.45			Keynote speech Why standardization is important by Dr. Klaus Vedder, Giesecke & Devrient
9.45 - 12.15			Fishbowl session: Challenges, experiences and success stories in standardization Moderator : Dr. Andrej Pietschker, Giesecke & Devrient With position statements from Prof. Ina Schieferdecker, FOKUS: Applied Research Perspective Markus Bechter, BMW: AUTOSAR Dr. Heiko Englert, Siemens: Smart Grid Interoperability – Profiling and Testing Dr. Tibor Csöndes, Ericsson: Using a standard test language – a success story in unifying testing. Retrospection and future Dr Gyorgy Rethy, Ericsson: MTS success story: TTCN-3
10.15	Tutorial Registration
10.45 - 12.15	From Test Legacy to Model-Based Testing - How to refactor an existing test repository into an MBT model? by Bruno Legeard & Arnaud Bouzy	Introduction to TTCN-3 by Theofanis Vassiliou-Gioles
12.15			Conclusions
12.15 - 13.30	Lunch
13.30 - 15.00	Cutting MBT Adoption Time with Domain-Specific Modelling by Juha-Pekka Tolvanen & Stephan Schulz	Property-Based Testing by Prof. Dr. Thomas Arts
15.00 - 15.20	Coffee Break
15.20 - 17.00	Bringing TDL to Users: A Hands-on Tutorial by Philip Makedonski, Andreas Ulrich, Gusztav Adamis, Martti Käärik & Marc-Florian Wendland	Strategy-driven Test Generation with Open Source Frameworks by Dimitry Polivaev

Time	Wednesday 17^th September
8.45 - 9.15	Registration
9.15 - 9.30	CONFERENCE OPENING
9.30 - 10.15	Keynote Testing with Fault Models by Prof. Dr. Alexander Pretschner
	Session 1, ETSI Activities
10.15 - 10.35	Applying TDL to describe tests of a distributed real-time control system by Joachim Froehlich, Sylvia Jell and Andreas Ulrich
10.35 - 10.55	A TTCN-3-based Compliance Assessment Framework for Intelligent Transport Systems by Sebastian Mueller
10.55 - 11.25	Coffee Break
	Session 2, Robustness
11.25 - 11.45	Property verification on traces by Emmanuel Gaudin
11.45 - 12.05	Using MBT to Generate Test Suites for Robustness Testing by Håkan Fredriksson
12.05 - 12.25	Model Based Testing of a Game Engine using a Mono/.NET port of GraphWalker by Marek Turski
12.25 - 12.30	Poster Session
12.30 - 13.45	Networking Lunch
	Session 3, Application in industry
13.45 - 14.05	Automated testing of an X-Ray medical device by Bryan Bakker
14.05 - 14.25	Test generation from functional 3D virtual environment models by Barath Kumar, Rainer Drath and Juergen Jasperneite
14.25 - 14.45	Deploying MBT-based test automation in an agile development project for financial industry by Jani Koivulainen & Simone Krämer
14.45 - 15.05	MBT and Test automation for ADAS validation by Laurent Raffaelli, Xavier Rouah and Philippe De Souza
15.05 - 15.35	Coffee Break
	Session 4, Cloud
15.35 - 15.55	Test@Cloud - MBT and cloud-testing - a powerful combination by Martin Beisser, Matthias Pruksch & Steffen Limmer
15.55 - 16.15	Model-driven Testing in the Cloud by Steffen Herbold
16.15 - 17.15	Sponsor Presentations
18.00	Social Event - Paulaner Brewery Tour and traditional Bavarian dinner

Time	Thursday 18^thSeptember
8.30 - 9.00	Registration
9.00 - 9.45	Keynote Mining Oracles for Fully Automated Test Generation by Prof. Dr. Andreas Zeller
	Session 5, Security
9.45 - 10.05	Model-Based Security Testing with Test Patterns by Julien Botella, Jürgen Grossmann, Bruno Legeard, Fabien Peureux, Martin Schneider & Fredrik Seehusen
10.05 - 10.25	Compositional risk analysis combined with automated security testing - the RACOMAT tool by Johannes Viehmann
10.25 - 10.45	How to derive high level test procedures from a risk model by Frederick Seehusen
10.45 - 11.15	Coffee Break
	Session 6, Experiences from applied research
11.15 - 11.35	Raspberry Pi Single-Board Computers for Testing: How Berry Traces have Changed our Lives by Andreas Lauterbach, Dirk Lüdtke & Fabian Staudinger
11.35 - 11.55	Testing a webservices based ecosystem using MBT: the case of the Future Internet Public Private Partnership (FI-PPP) by Franck Le Gall, David Guillén Jiménez, Laurent Artusio, Thierry Nagellen, Julien Bernard, Lucas Gruber, Eddie Jaffuel & Bruno Legeard
11.55 - 12.15	An efficient Approach for Model-Based Testing: Siemens Use case in the MBAT European Project by Helene Le Guen, Ralf Pinger & Deepa Vijayaraghavan
12.15 - 13.30	Networking Lunch
	Session 7, Advanced topics
13.30 - 13.50	Towards UML Testing Profile 2 by Marc-Florian Wendland, Markus Schacher, Jon Hagar, Zhen Ru Dai, Ina Schieferdecker, Andreas Hoffmann, Alessandra Bagnato, Etienne Brosse, Shaukat Ali & Tao Yue
13.50 - 14.10	Acceptance testing in Devops projects with a Business Domain Language & refactoring techniques by Arnaud Bouzy
14.10 - 14.30	Automatic test generation based on functional coverage by Emmanuel Gaudin
14.30 - 14.50	A structured approach to identify the best fitting test automation solution for a specific project by René Biewald, Michael Karlinsky & Simone Krämer
14.50 - 15.20	Coffee Break
	Session 8, Process
15.20 - 15.40	Interactive Testing of Automotive Functions by Hermann Ilmberger
15.40 - 16.00	Making a MBT-based test process more efficient by the reuse of analysis models by Alexander Kraas
16.00 - 17.00	Best Presentation Award & Conference Closure

Program & Presentations