Graduating at Axini
Axini is an Amsterdam-based technology spin-off of the University of Twente. We develop software engineering tools that apply academic formal methods in practice. In particular, we focus on model-based testing and model driven engineering. Our tools are used for major Dutch companies such as ProRail and Achmea.
As a result, we have both a lot of theoretical knowledge on formal techniques and hands on experience with software testing in the real world. This mix results in interesting research topics for graduation projects. Get more theoretical by diving into formal methods and model checking or tackle the testing or modeling challenges of the real world.
Axini has hosted many graduation projects over the years. We have a lot of experience that allows us to help students get the most out of their project. All our students have graduated successfully. See our track record below.
We have good connections with universities (University of Twente, Eindhoven University of Technology, University of Amsterdam) and research institutions (TNO, CWI) and we participate in European research projects such as TESTOMAT, Allegio and Reflexion. Most of our colleagues have a background in academia, be it as a teacher, PhD or master student. We know what research is like and can get you in contact with the people you need to make your project a success.
During your project you can experience what life is like in a product software company focused on craftsmanship and continuous improvement. We have a friendly, informal environment and flexible hours. Colleagues and students can choose to work from home for parts of the week.
We offer students the following:
Good supervisors
We have experienced supervisors that will make time to guide your research. We can inspire you and challenge your ideas with our in-depth domain knowledge.
Research topics
We offer real research topics and challenging puzzles for real world problems. You won’t be building us a website.
Connections in academia
We have good connections with universities and potential academic supervisors.
Track record
We have a good track record of graduation projects. See below for a list of your predecessors.
Location
Based in Amsterdam. We are located close to Science Park and are easily accessible with public transportation.
Compensation
All projects are accompanied with a monthly internship compensation.
Possible research topics
We offer a wide range of research topics, both theoretical and more practical oriented.
Model checking of symbolic transition systems
Automatically verify properties of our model using Linear Time Logic and formal methods.
Automatic test case analysis
Automatically find patterns in failed test cases to aid in test analysis and bug localization.
Test case generation and selection strategies
Generate even smarter test cases by extending our testing strategies with data coverage and smarter pathfinding.
Visual modeling with intermediate ASTs
Enable both textual and visual modeling by developing an intermediate representation in between the textual and visual languages.
Model based testing of GUI applications
Extend the model based testing theory with the concepts needed to tests systems with a GUI, such as web and desktop applications.
Model based security testing
Evaluate the applicability of model based testing in the security domain and experiment with model based fuzzers.
Model based testing IoT protocols
Evaluate the applicability of model based testing in the internet of things domain and apply model based testing on e.g. the ZigBee protocol.
Model learning
Analyze log files or other output of a system and construct a model that describes the observed behavior.
If you have a different topic in mind that you think might fit us, we would be very pleased to hear it.
Contact
Would you like to know more or discuss your ideas? Get in touch with Machiel van der Bijl.
+31 6 1642 6332
vdbijl@axini.com
Previous theses
Read the work of your predecessors to get inspired.
- 2009 Floor Sietsma: A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems
- 2010 Jasper Hendriks: Risk Reducing Test Case Generation for Model-based Testing
- 2011 Machiel van der Bijl: On Changing Models in Model-Based Testing
- 2011 Lennart Tange: Test-Based Modelling – Learning a Model From a System’s Implementation
- 2013 Vincent de Bruijn: Model-Based Testing with Graph Grammars
- 2013 Carsten Ruetz: Model Checking of Symbolic Transition Systems with SMT Solvers
- 2014 Johanneke Lamberink: Using Decision Tables in Model-Based Testing
- 2014 Kevin de Berk: Model checking test models
- 2015 Bas Meesters: The Visualization of Symbolic Transition Systems
- 2015 Kai Bakker: Reachable States for Symbolic Transition Systems
- 2016 Jorge Mora Perdiguero: Development of an Efficient Data Coverage Strategy for TestManager
- 2016 Ardavan Ghaffari: Trace Coverage Strategy for Symbolic Transition Systems
- 2017 Stan Janssen: Transforming Source Code into Symbolic Transition Systems for Practical Model-Based Testing
- 2017 Peter Verkade: Model-Based Unit Testing using Decision Tables
- 2018 Martijn Willemsen: Improving Diagnosis by Grouping Test Cases to Reduce Complexity
- 2018 Aswathy George: Process Mining in Model Based Testing
- 2018 Dennis van der Werf: Visualizing Symbolic Transition Systems
- 2019 Sjoerd van der Heijden: Trace Collection and Data Coverage for Model Based Testing
- 2019 Jouke Roorda: Model Based Testing distributed Identity and Access Management software: Verifying OIDCfed
- 2020 Florine de Geus: On the Use of SMT Solvers in Model-Based Testing
- 2020 Lars Meijer: Test case shrinking for Model Based Testing on Symbolic Transition Systems
- 2020 Wouter Bohlken: Model-Based Fuzzing Using Symbolic Transition Systems