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. Our focus is on model based testing (MBT) and model based software engineering (MBSE). Our platform helps large companies such as ProRail, Achmea and Thermo Fisher Scientific deliver high quality software on time.
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 past 15 years. We have a lot of experience that allows us to help students make the most of their research. See our track record below.
We have good connections with universities (University of Amsterdam, VU Amsterdam, University of Twente, Eindhoven University of Technology) and research institutions (TNO, CWI). Additionally, we participate in various European research projects including TESTOMAT, Allegio and Reflexion. Many of us have a background in academia, be it as master student, PhD or professor. 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 will experience what life is like in a product software company focused on software engineering and continuous improvement. We have a friendly, informal environment and flexible hours. We are in our office in Amsterdam a few days a week and work from home on the others.
We are looking for students with a pragmatic attitude that like to work on boundary between research and practice.
We offer students the following:
Good supervision
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 a website for us.
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.
Internship 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 symbolic transition system models using linear time logic and formal methods.
Read more Requirements coverage
Formalize natural language requirements to ensure they are included in the model and generated test cases.
Read more Automatic test case analysis for bug localization
Automatically find patterns in failed test cases to aid in test analysis and bug localization.
Read more Test case generation and selection strategies
Improve on our test case generation algorithms to handle more difficult cases or take new coverage metrics into account.
Read more Visualizing formal models
Develop techniques to visualize large and complex models or advanced concepts such as parallelism and non-determinism intuitively.
Read more Visual modeling
Enable both textual and visual modeling using some intermediate representation to keep the two in sync.
Read more Model learning
Automatically derive a model from the system under test using log files or other observed behavior.
Read more Code generation from formal models
Generate (skeleton) application code using formal models of the desired behavior.
Read more 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, desktop and mobile applications.
Read more Model based security testing
Research how concepts of security testing and model based testing could complement each other.
Read more Model based testing of Internet of Things protocols
Evaluate the applicability of model based testing on the Internet of Things communication protocols such as Zigbee.
Read more Model based testing of 3D games
Apply and evaluate model based testing on 3D games and simulations.
Read more The FormaSig project for saftey critical systems at ProRail
Research the application of formal methods on saftey critical systems in the railway domain.
Read more Automated model generation
Research the possibility of transforming other models or source code into formal AML models.
Read more Passive testing/monitoring
Use static data sources such as log-files for passive model based testing.
Read more Automated adapter generation
Generate an adapter automatically based on the system under test.
Read more Design and implement a modeling language for data and interaction
Develop a new modeling language that can address the requirements of reactive and data-oriented systems.
Read more Random sampling for data generation using SMT solvers
Investigate different techniques of solving constraints using SMT solvers and apply that to our context of testing.
Read more Debugger
Investigate and implement advanced debugging features.
Read more Input generation based on the model
Improve test case generation in model based testing by integrating symbolic execution with the Z3 theorem prover.
Read more 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 us at students@axini.com.
Track record
Read the work of your predecessors to get inspired.