Speakers
We promise an exciting program! Find below the confirmed speakers and more to follow!
Keynote
Gabriele Keller, Utrecht University, the Netherlands
Invited speakers
Petra van den Bos, University of Twente, the Netherlands
Title
Where Model-Based Testing Meets Software Engineering
Abstract
Model-based testing has been the promising next step in test-automation for a while now; and while it has been picked up as a software engineering practice, it is not applied at a large scale. On the other hand, Behaviour-Driven Development has become popular recently in software development. As part of this approach, scenarios describing a behaviour of the system are written in a structured natural language format. In my talk, I will present an approach where we translate these scenarios into a formal model, such that the test-automation techniques of model-based testing can be exploited.
Andrés Goens, University of Amsterdam, the Netherlands
Title
Elevating Compiler Design: Abstractions for Effective Optimizations
Maliheh Izadi, Delft University of Technology, the Netherlands