Nowadays so much new and complex software is being developed that there are by far not enough specialists to test this software properly. As a result, companies need more time/resources to develop software, and their products (which we all use) may contain critical bugs. In this project, we investigate methods for automatic software testing. In test automation, model- based testing is the state-of-the-art technique, where tests are generated fully automatically from a model (typically a state-transition system), and then executed on the software system.
In the EVI project, you will develop test generation algorithms, that generate tests from two models: a model that specifies the expected behaviour of the system, and a model that describes the actual behaviour of the system. By combining such sources of evidence, tests are better equipped for detecting software bugs, including those often missed by other tools.
The EVI project is a collaboration between Petra van den Bos from the University of Twente (UT) and Frits Vaandrager from the Radboud University (RU), with a PhD student at each university. Marielle Stoelinga is involved as promotor of the UT PhD student.
The theme of the EVI project is evidence-driven black-box checking, where the fields of automata learning (RU) and model-based testing (UT) are combined. The RU PhD student will develop automata learning techniques for uncovering the actual behaviour of the system. You, as the UT PhD student, will use this as input for your test generation algorithms.
While your main focus will be on test generation, you will also investigate how specification models can be acquired. Models can be constructed from requirements on the system, that e.g. have been formulated as part of the behaviour-driven development process of the system. Furthermore, such models may also incorporate known risks on the occurrence of bugs in the system.
Besides designing test generation algorithms, you will also implement them in a tool. With the help of this tool, you will then apply your research to relevant case studies from the industry.
Your profileAre you interested in this position? Please send your application via the 'Apply now' button below before 7 October, and include:
The Formal Methods and Tools group is part of the Computer Science department of the University of Twente. Our mission is to develop mathematical methods, high-performance data structures and algorithms, and suitable programming languages for the design of reliable software- and data-intensive control systems.
The group consists of approximately 40 researchers with a very diverse background. We have an open and inclusive atmosphere, with many group activities (both work-related and fun).
About the organisationThe faculty of Electrical Engineering, Mathematics and Computer Science (EEMCS) uses mathematics, electronics and computer technology to contribute to the development of Information and Communication Technology (ICT). With ICT present in almost every device and product we use nowadays, we embrace our role as contributors to a broad range of societal activities and as pioneers of tomorrow's digital society. As part of a people-first tech university that aims to shape society, individuals and connections, our faculty works together intensively with industrial partners and researchers in the Netherlands and abroad, and conducts extensive research for external commissioning parties and funders. Our research has a high profile both in the Netherlands and internationally. It has been accommodated in three multidisciplinary UT research institutes: Mesa+ Institute, TechMed Centre and Digital Society Institute.
Want to know more? Bos, P. van den (Petra)Assistant Professor
Bos, P. van den (Petra)Assistant Professor
Do you have questions about this vacancy? Then you can contact Petra for all substantive questions about this position and the application procedure. For general questions about working for the UT, please refer to the chatbot.
ContactPhone:+31534892677
Email:[email protected]
How to apply Step 1Apply. When you see a vacancy that appeals to you, you can apply online. We ask you to upload a CV and motivation letter and/or list of publications. You will receive a confirmation of receipt by e-mail.
Step 2Selection. The selection committee will review your application and you will receive a response within 2 weeks after the vacancy has been closed.
Step 31st interview. The 1st (online or in person) meeting serves as an introduction where we introduce ourselves to you and you to us. You may be asked to give a short presentation. This will be further explained in the invitation.
Step 42nd interview. In the second interview, we will further discuss the job content, your skills and your talents.
Step 5The offer. If the conversations are positive, you will be made a suitable offer. If applicable, we will sign you up for screening.
Your ColleaguesPersonal page
Personal page
Personal page
At the UT it's all about people, in line with our university's High Tech Human Touch philosophy. In everything we do, the well-being and future of our students and staff are paramount. From research and teaching to personnel management, campus management and the use of new technologies.
Our university is a public institution that serves society. We are accountable to society for the ways in which we use our academic freedom. We are responsible for ensuring that the power of science and technology is harnessed to achieve the best possible impact in a changing world. We cherish our rich tradition of combining technical and social sciences in our five profiling themes: Improving healthcare by personalized technologies; Creating intelligent manufacturing systems; Shaping our world with smart materials; Engineering our digital society; and Engineering for a resilient world.
We help society meet the challenges of today and tomorrow. But we are also transparent about what science and technology can and cannot do in finding sustainable solutions. And help translate these solutions into everyday life.
We want our communities to flourish and show resilience, so we seize opportunities for innovation. We are knowledgeable and have an eye for what society needs. Our students and staff receive all the guidance they need in their quest for ecological, social and economic sustainability. “The University of Twente is all about people. Our sustainable technologies help to strengthen society.”
Browse all jobs