Studenten – Axini

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.

Goede begeleiding

We hebben ervaren begeleiders die tijd maken voor jouw onderzoek. Zij kunnen je inspireren en uitdagen met onze diepgaande domeinkennis.

Echt onderzoek

We bieden projecten aan met een sterk onderzoekscomponent en vraagstukken voor echte problemen. Je gaat geen website voor ons bouwen.

Contacten in de academische wereld

We hebben goede connecties met universiteiten en potentiële academische begeleiders.

Track record

We hebben een mooi track record van afstudeerprojecten. Kijk hieronder voor een lijst van je voorgangers.

Locatie

Wij zijn gevestigd in Amsterdam, dicht bij het Science Park. We zijn gemakkelijk te bereiken met het openbaar vervoer.

Stagevergoeding

Alle projecten gaan gepaard met een maandelijkse stagevergoeding.

Mogelijke onderwerpen

We bieden een breed scala aan projecten aan, zowel theoretisch als praktisch georiënteerd.

Model checking van symbolische transitiesystemen

Verifieer automatisch de eigenschappen van modellen met behulp van linear time logic en formele methoden. Lees meer

Automatische test-analyse

Vind automatisch patronen in testgevallen om te helpen bij test-analyse en het lokaliseren van bugs. Lees meer

Testgeneratie- en selectie-strategieën

Genereer nog slimmere testgevallen door onze teststrategieën uit te breiden met data coverage en slimmere pathfinding. Lees meer

Visueel modelleren

Maak het mogelijk om zowel visueel als tekstueel te modelleren. Hiervoor zal een tussenliggende representatie ontwikkeld moeten worden die de concepten uit de twee talen combineert. Lees meer

Model-gebaseerd testen van GUI-applicaties

Breid de klassieke model-gebaseerd testen theorie uit met de concepten die nodig zijn om GUI-applicaties zoals web- en desktop-applicaties te testen. Lees meer

Model-gebaseerd security testing

Evalueer de toepasbaarheid van model-gebaseerd testen in het security domein en experimenteer met model-gebaseerde fuzzers. Lees meer

Model-gebaseerd testen van IoT protocollen

Evalueer de toepasbaarheid van model-gebaseerd testen op internet of things protocollen door bijvoorbeeld het ZigBee protocol te testen. Lees meer

Model learning

Analyseer logbestanden of andere uitvoer van een systeem en genereer automatisch een model dat het waargenomen gedrag beschrijft. Lees meer

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.

Telefoon
+31 6 1642 6332

E-mail
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