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. Onze focus ligt op model-gebaseerd testen (MBT) en model-gedreven software engineering (MBSE). Ons platform helpt grote bedrijven zoals ProRail, Achmea en Thermo Fisher Scientific hoge kwaliteit software op tijd te leveren.
We hebben 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 de afgelopen 15 jaren veel afstudeerprojecten begeleid. We hebben veel ervaring waarmee we studenten kunnen helpen het maximale uit hun onderzoek te halen. Zie ons track record verder op de pagina.
We hebben goede contacten met universiteiten (Universiteit van Amsterdam, Vrije Universiteit Amsterdam, Universiteit Twente, Technische Universiteit Eindhoven) en onderzoeksinstellingen (TNO, CWI). Verder nemen we deel aan verschillende Europese onderzoeksprojecten waaronder TESTOMAT, Allegio en Reflexion. Veel onze collega's hebben een achtergrond in de academische wereld, zij het als masterstudent, promovendus of universitair docent. 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 ervaar je hoe het leven is bij een softwarebedrijf gericht op software engineering en voortdurende verbetering. We hebben een vriendelijke, informele sfeer en flexibele uren. We zijn enkele dagen per week op kantoor in Amsterdam en werken de overige dagen thuis.
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.
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
Requirements coverage
Formaliseer requirements geschreven in natuurlijke taal om te garanderen dat ze worden gedekt door het model en gegenereerde testgevallen. 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
Visualisatie van modellen
Ontwikkel technieken om grote en complexe modellen of complexe concepten als parallelism en nondeterminisme intuitief te visualiseren. Lees meer
Visueel modelleren
Maak het mogelijk om zowel tekstueel als visueel te modelleren met behulp van een tussenliggende representatie om beide in sync te houden. Lees meer
Model learning
Genereer een formeel model van het systeem onder test op basis van geobserveerd gedrag of logbestanden. Lees meer
Codegeneratie vanuit formele modellen
Genereer applicatiecode op basis van formele modellen die het gewenste gedrag beschrijven. Lees meer
Model-gebaseerd testen van GUI-applicaties
Breid de model-gebaseerd testen theorie uit met de concepten die nodig zijn om GUI-applicaties zoals web en desktop en mobiele applicaties te testen. Lees meer
Model-gebaseerd security testing
Onderzoek hoe de concepten van security testing en model-gebaseerd testen elkaar kunnen aanvullen. Lees meer
Model-gebaseerd testen van IoT protocollen
Evalueer de toepasbaarheid van model-gebaseerd testen op internet of things protocollen zoals Zigbee. Lees meer
Model-gebaseerd testen van 3D games
Pas model-gebaseerd testen toe op 3D games en simulaties. Lees meer
The FormaSig project for saftey critical systems at ProRail
Onderzoek de toepasing van formele methoden op veiligheidskritische systemen in het spoordomein. Lees meer
Geautomatiseerde modelgeneratie
Onderzoek de mogelijkheid om andere modellen of code om te zetten in formele AML-modellen. Lees meer
Passief testen/monitoren
Gebruik statische data sources, zoals logbestanden, voor passieve model based tests. Lees meer
Geautomatiseerde adaptergeneratie
Genereer automatisch een adapter op basis van het system under test. Lees meer
Ontwerp en implementeer een modelleringstaal voor data en interactie
Ontwikkel een nieuwe modelleertaal die voldoet aan de requirements van reactieve en data-oriented systemen. Lees meer
Random sampling voor gegevensgeneratie met behulp van SMT solvers
Onderzoek verschillende technieken voor het oplossen van constraints met behulp van SMT-solvers en pas deze toe op onze testing-context. Lees meer
Debugger
Onderzoek en implementeer geavanceerde debugging functies. Lees meer
Inputgeneratie op basis van het model
Verbeter het genereren van testcases bij model-gebaseerd testen door symbolische uitvoering te integreren met de Z3 theorem prover. Lees meer
Als je een ander onderwerp in gedachten hebt, horen wij het graag.
Contact
Wil je meer weten? Neem contact met ons op via students@axini.com.
Track record
Lees het werk van je voorgangers voor inspiratie en ideeën.
2024 Marwa Mohalaia
Universiteit van Amsterdam | Master Software Engineering
Towards Automating Usability Evaluation of Web-based GUI Applications Using Model-based Testing 2024 Susan van den Broek
Universiteit van Amsterdam | Master Software Engineering
A Model-Centric Approach to Test Case Shrinking: utilising 𝑘-shortest path in model-based testing 2024 Yannick van der Vleuten
Universiteit van Amsterdam | Master Software Engineering
Model-Based Testing of Client-Side Web Applications in Isolation 2023 Maarten Schröder
Vrije Universiteit Amsterdam | Master Computer Science
Automatic test case generation based on properties as scenarios for Axini Modeling Language 2023 Jore Booy
Technische Universiteit Eindhoven | Master Computer Science
Model-Based Mocking Compositional Model-Based Testing for Microservices using the Axini Modeling Platform 2023 Małgorzata Janeczko
Universiteit van Amsterdam | Master Software Engineering
Leveraging Symbolic Transition Systems to automate model-based web UI testing 2023 Aleandro Mifsud
Universiteit van Amsterdam | Master Software Engineering
Blended AML: Transforming an internal textual DSL into a Blended Modelling Environment 2022 Marko Milardić
Universiteit van Amsterdam | Master Software Engineering
Model-based Testing of Interoperability in Internet of Things Protocols 2022 Sky Sarah van Grieken
Technische Universiteit Eindhoven | Master Computer Science & Engineering
Encoding hashes in an SMT-solver using Z3 2022 Mark Bebawy
Vrije Universiteit Amsterdam | Master Computer Science
Testing Strategies and Coverage Metrics in Model Based Testing 2022 Lucas Steehouwer
Universiteit van Amsterdam | Master Software Engineering
Finding Deadlocks in Open Input-Output Symbolic Transition Systems by Model-Transformation to Promela 2021 Xavier van Dommelen
Universiteit van Amsterdam | Master Software Engineering
Model-Based Testing of Internet of Things Protocols 2021 Tobias Bachmann
Universiteit van Amsterdam | Master Software Engineering
Translating SysML models into Symbolic Transition Systems for Model-Based Testing 2021 Wouter Bohlken
Universiteit van Amsterdam | Master Software Engineering
Model-Based Fuzzing Using Symbolic Transition Systems 2020 Lars Meijer
Universiteit Twente | Master Computer Science
Test case shrinking for Model Based Testing on Symbolic Transition Systems 2020 Florine de Geus
Universiteit van Amsterdam | Bachelor Computer Science
On the Use of SMT Solvers in Model-Based Testing 2019 Sjoerd van der Heijden
Universiteit van Amsterdam | Master Software Engineering
Trace Collection and Data Coverage for Model Based Testing 2019 Jouke Roorda
Universiteit van Amsterdam | Master Software Engineering
Model Based Testing distributed Identity and Access Management software: Verifying OIDCfed 2018 Aswathy George
Universiteit van Amsterdam | Master Information Studies
Process Mining in Model Based Testing 2018 Dennis van der Werf
Universiteit van Amsterdam | Master Software Engineering
Visualizing Symbolic Transition Systems 2018 Martijn Willemsen
Universiteit Twente | Master Computer Science
Improving Diagnosis by Grouping Test Cases to Reduce Complexity 2017 Stan Janssen
Universiteit van Amsterdam | Master Software Engineering
Transforming Source Code into Symbolic Transition Systems for Practical Model-Based Testing 2017 Peter Verkade
Universiteit van Amsterdam | Master Software Engineering
Model-Based Unit Testing using Decision Tables 2016 Ardavan Ghaffari
Universiteit van Amsterdam | Master Software Engineering
Trace Coverage Strategy for Symbolic Transition Systems 2016 Jorge Mora Perdiguero
Vrije Universiteit Amsterdam | Master Computer Science
Development of an Efficient Data Coverage Strategy for TestManager 2015 Kai Bakker
Universiteit van Amsterdam | Master Software Engineering
Reachable States for Symbolic Transition Systems 2015 Bas Meesters
Universiteit van Amsterdam | Master Software Engineering
The Visualization of Symbolic Transition Systems 2014 Johanneke Lamberink
Universiteit van Amsterdam | Master Software Engineering
Using Decision Tables in Model-Based Testing 2014 Kevin de Berk
Vrije Universiteit Amsterdam | Master Computer Science
Model checking test models 2013 Carsten Ruetz
Radboud Universiteit Nijmegen | Master Computing Science
Model Checking of Symbolic Transition Systems with SMT Solvers 2013 Vincent de Bruijn
Universiteit Twente | Master Computer Science
Model-Based Testing with Graph Grammars 2011 Lennart Tange
Universiteit van Amsterdam | Master Software Engineering
Test-Based Modelling – Learning a Model From a System’s Implementation 2010 Jasper Hendriks
Universiteit van Amsterdam | Master Software Engineering
Risk Reducing Test Case Generation for Model-based Testing 2009 Floor Sietsma
Universiteit van Amsterdam | Master Software Engineering
A Case Study in Formal Testing and an Algorithm for Automatic Test Case Generation with Symbolic Transition Systems