Searched for: author%3A%22Baartman%2C+Wesley%22
(1 - 2 of 2)
Baartman, Wesley (author)
In this thesis, we have defined a symbolic execution technique to automatically generate test suites for programs written in functional programming languages that can find the behavioural differences between a reference implementation and a set of potentially different implementations. Our symbolic execution technique uses a constraint solver in...
master thesis 2022
van der Stel, Paul (author), de Vries, Caren (author), Lemaire, Chris (author), van Tartwijk, Maarten (author), Baartman, Wesley (author)
For this project, JEM-id tasked us with creating a proof of concept of a new online auction in the form of a web application for Royal FloraHolland. JEM-id is a software company operating in the agricultural domain.<br/>The pre-existing digital auction is not available as a web application and has generated technical debt over the past twenty...
bachelor thesis 2019