Afstuderen bij Axini
Axini is een Amsterdamse spin-off van de Universiteit Twente. Wij ontwikkelen software engineering tools die academische formele methoden toepassen in de praktijk. We richten ons met name op model-gebaseerd testen en model-gedreven software engineering. Onze tools worden gebruikt bij grote Nederlandse bedrijven waaronder ProRail en Achmea.
We hebben hierdoor zowel veel theoretische kennis over formele methoden als ervaring met het testen van software in de praktijk. Met deze combinatie kunnen wij interessante onderwerpen aanbieden voor afstudeerprojecten. Duik in de theorie van formele methoden en model checking of bouw oplossing voor de uitdaging van modelleren en testen in de praktijk.
Axini heeft in de loop der jaren veel afstudeerprojecten begeleid. We hebben veel ervaring waarmee we studenten kunnen helpen het maximale uit hun project te halen. Al onze studenten zijn geslaagd. Zie ons track record verder op de pagina.
We hebben goede contacten met universiteiten (Universiteit Twente, Technische Universiteit Eindhoven, Universiteit van Amsterdam) en onderzoeksinstellingen (TNO, CWI) en we nemen deel aan Europese onderzoeksprojecten zoals TESTOMAT, Allegio en Reflexion. De meeste van onze collega's hebben een achtergrond in de academische wereld, zij het als docent, promovendus of masterstudent. We weten hoe onderzoek in elkaar steekt en kunnen jou in contact brengen met de mensen die je nodig hebt om jouw project tot een succes te maken.
Tijdens je project kun je ervaren hoe het leven is bij een softwarebedrijf gericht op vakmanschap en voortdurende verbetering. We hebben een vriendelijke, informele sfeer en flexibele uren. Collega's en studenten kunnen er voor kiezen om een deel van de week thuis te werken.
Wij bieden studenten het volgende.
Mogelijke onderwerpen
We bieden een breed scala aan projecten aan, zowel theoretisch als praktisch georiënteerd.
Als je een ander onderwerp in gedachten hebt, horen wij het graag.
Contact
Wil je meer weten? Je mag altijd bellen of mailen naar Machiel van der Bijl.
+31 6 1642 6332
vdbijl@axini.com
Voorgaande theses
Lees het werk van je voorgangers voor inspiratie en ideeën.
- 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
- 2021 Tobias Bachmann: Translating SysML models into Symbolic Transition Systems for Model-Based Testing
- 2021 Xavier van Dommelen: Model-Based Testing of Internet of Things Protocols
- 2022 Lucas Steehouwer: Finding Deadlocks in Open Input-Output Symbolic Transition Systems by Model-Transformation to Promela
- 2022 Mark Bebawy: Testing Strategies and Coverage Metrics in Model Based Testing
- 2022 Sky Sarah van Grieken: Encoding hashes in an SMT-solver using Z3
- 2022 Marko Milardić: Model-based Testing of Interoperability in Internet of Things Protocols