- document
-
Lemaire, Chris (author)For algebraic effects and handlers, we know both small-step and big-step operational semantics and we are familiar with denotational semantics. But, what is missing is a structured showing that one is equivalent to the other. On top of this, most efficient implementations of algebraic effects and handlers closely resemble their denotational...master thesis 2023
- document
-
van Walraven, Bram (author)Digital printing systems allow for the production of a large variety of different products. Making production plans for all these different products is challenging. One of the challenging aspects of making these production plans is choosing the right sequence of machines, to produce the desired intent. This is challenging due to three aspects:...master thesis 2022
- document
-
WANG, DANYAO (author)Automated test generation techniques improve the efficiency of software testing. However, the opacity of the test generation process and concerns about the readability of generated tests make it difficult for software developers to accept them. Developer-centric test amplification creates easy-to-understand test cases by amplifying existing test...master thesis 2022
- document
-
Heddes, Rens (author)Recent large scale cyber security incidents such as the Equifax data breach, where the personal information of around 160 million Americans leaked, demonstrate the current risk of security vulnerabilities libraries which software projects depend on.<br/>The usage of libraries forms an integral part of modern software development and is a...master thesis 2022
- document
-
Nijkamp, Nienke (author)TestCube amplifies existing unit tests and creates a new test suite with additional coverage for the source code. The names automatically generated by TestCube do not give any information on the behaviour or the coverage improvement of the amplified test case. In this paper, we present an approach to naming these amplified test cases by...bachelor thesis 2021
- document
-
Agarwal, Swastik (author)Unit testing is crucial for any software project. Writing these tests manually, however, can be quite cumbersome. To tackle this, automated testing has been growing in recent times. Unfortunately, most automated testing tools are a challenge to use. The TestCube Project intends to change that. They aim to make automated testing tools easy and...bachelor thesis 2021
- document
-
Vegelien, George (author)Test-cube is a tool that focuses on developer-friendly test amplification. Test amplification is a technique to improve a test suite by generating new tests based on manually written ones. Currently, these generated tests contain much redundant casting. Our study aimed to improve the readability of these generated test cases by reducing...bachelor thesis 2021
- document
-
Boone, Casper (author)The most common reason for Continuous Integration (CI) build failures is failing tests. When a build fails, a developer often has to scroll through hundreds to thousands of log lines to find which test is failing and why. Finding the issue is a tedious process that relies on a developer's experience and increases the cost of software testing....master thesis 2021
- document
-
Goudriaan, Maiko (author)In the software engineering field the code review process has been widely adopted as a quality control, in the current day code reviews have also multiple additional advantages. In this research we explored how the code review process is used at Greenchoice, a Dutch energy supplier. Subsequently, we created a code review checklist which was used...master thesis 2021
- document
-
Visser, John (author)Novice students still have problems with the abstraction of object-oriented programming. This research shows that the debugger could be used to clarify abstraction of the object-oriented programming with the C++ program language. Our investigation spans two consecutive courses on object-oriented programming. For the introduction course on the...master thesis 2021
- document
-
Kluiters, Thomas (author), Overweel, Leon (author), Vos, Daniël (author), Vos, Jelle (author)ING wants to offer their customers the best experience possible. To achieve this goal, ING’s Customer Journey Experts (CJEs) constantly map and analyze the way customers use ING services in a Customer Journey Map. These maps however, are hard to share and collaborate on. ING needs an online tool in which they can, together with multiple people,...bachelor thesis 2018
- document
-
Levaja, I. (author)Software testing is as old as software development itself – they could not exist one without the other. However, are they equally important? Do software developers devote an equivalent amount of time to both produce software and to test it? An ongoing study of the TestRoots project aims to examine and improve the state of the art of software...master thesis 2016
- document
-
van der Schrier, E.D. (author)Comments play a vital role in the comprehension of source code. To aid software developers in code comprehension, tools have been designed for automatically generating comments. However, developers lack a tool that creates comments for integration tests. To further improve the process of code comprehension, a novel tool is proposed in this...master thesis 2016
- document
-
Spruit, N. (author)As new bugs are discovered continuously, software developers often face the task of locating and fixing the defect causing the failure, called debugging. Based on the absence of behavioral studies on this subject in literature, this study aims to get more insights into how developers think of debugging and how they debug in their IDE. To this...master thesis 2016
- document
-
van Graafeiland, B. (author)Nowadays, many different tools to perform static analysis on software (ASATs) are available. These can be used as standalone tools, but also integrated into code reviews, build processes, or continuous integration. ASATs can be configured by their user and report a list of warnings for each rule that has been violated by the analyzed code. While...master thesis 2016
- document
-
van Mil, B. (author), Verhulst, K. (author)Voor u ligt het document dat verslag doet van het ontwerpen en implementeren van een horeca module voor een bestaand kassasysteem. Het is gemaakt ter afsluiting van het bachelor eindproject voor de opleiding Technische Informatica. Binnen het project is gebruik gemaakt van de kennis en technieken die zijn opgedaan tijdens de opleiding, maar ook...bachelor thesis 2016
- document
-
Krause, M. (author)When information systems managed by different organizations are integrated, the different parties often must collaborate to define a migration system that transforms the data from one data model to the other. Such a migration step is a common source of system failures. We present a migration language to define transformation definitions for real...master thesis 2016
- document
-
Bholanath, R.M.R. (author)Static analysis is an important part of today's quality assurance process. It can be performed manually, by means of code reviews, or automatically, by automated static analysis tools (ASATs). However, there is still much unknown about the state of static analysis. This includes hard data on how prevalent static analysis is among projects. And...master thesis 2015
- document
-
Denkers, J. (author), Glerum, W.J. (author)Transport Tender is a consultancy company advising clients how to plan their logistic activities. Its focus is on road freight transport within Europe. In processes called tenders, the actual prices of new potential carriers are calculated for the shipments of the client of e.g. the last one or two years. Based on these prices, different sets of...bachelor thesis 2015
- document
-
Van der Veen, E.S. (author)Previous work showed that in the pull-based development model integrators face challenges with regard to prioritizing work in the face of multiple concurrent pull requests. We identified the manual prioritization heuristics applied by integrators and extracted features from these heuristics. The features are used to train a machine learning...master thesis 2015