Searched for: contributor%3Apanichella
(1 - 20 of 65)

Pages

List view
Grid view
document
Mackenbach, C.M. (author), Ang, A.W.Z. (author)
KeyLocker, a start-up developing cryptographic products that put the control of encryption keys into the hands of the end-users, has requested a review of their own software development process. During their first year of existence, the company experienced problems in following software development methodologies, sharing knowledge effectively...
bachelor thesis 2015
document
Bierlee, H. (author), Grashoff, K. (author)
This is a project report on the research, implementation and empirical test of an online system for mortgage advice that have been completed in the context of our bachelor project. The project objective was to build a platform for online mortgage advice, which could substitute a real-life, human adviser. The use of such a platform costs far less...
bachelor thesis 2016
document
Hidskes, Jente (author)
Many program transformation languages simplify the implementation of program transformations. However, they give only weak static guarantees about the generated code such as well-sortedness. Well-sortedness guarantees that a program transformation does not generate syntactically ill-formed code, but it is too imprecise for many other scenarios....
master thesis 2018
document
Kortbeek, Vito (author)
Tiny batteryless sensing systems that do not have a constant supply of power have become an increasingly appealing way to gather data, in hard to reach places, at low cost. These systems suffer from frequent and unpredictable power loss. Preserving information through power failures is an ancillary challenge. Unfortunately, state-of-the-art...
master thesis 2019
document
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
document
Oudsen, Erik (author), Ruighaver, Ewoud (author), Everse, Luc (author), van der Horst, Tim (author)
Due to the dramatic increase in enrollments in the TU Delft Bachelor of Computer<br/>Science, the workload for teaching assistants and instructors has skyrocketed. To<br/>reduce this workload, automated tools can be used to make the grading process easier. This paper describes the development of AuTA (Automatic Teaching Assistant), a tool that...
bachelor thesis 2019
document
Guijt, Arthur (author)
In many real world scheduling problems there exist hard deadlines after which tasks can no longer be performed. Conversely, not all tasks are necessarily required to be scheduled. Furthermore, the problem investigated in this thesis includes sequence dependent setup times, an aspect reminiscent of the Travelling Salesperson problem. These...
master thesis 2019
document
Sikkes, Louis (author)
This thesis has researched the automation of performance evaluation of vehicle routing heuristics. The trade-off between solution quality, which is composed of multiple variables, and runtime make performance evaluation challenging. Therefore, it is often done by human experts. The research question of this thesis is: “How can we determine a...
master thesis 2019
document
Xiang, Shang (author)
Software applications inevitably crash, and it is time-consuming to recreate the crash conditions for debugging. Recently, researchers have developed frameworks relying on genetic algorithms, e.g. Botsing, for automated crash reproduction. However, the existing approaches process exceptions of different types as if they were the same. In this...
master thesis 2020
document
Evers, Björn (author)
Various search-based test generation techniques have been proposed to automate the process of test generation to fulfill different criteria (e.g., line coverage, branch coverage, mutation score, etc.). Despite these techniques' undeniable accomplishments, they still suffer from a lack of guidance coming from the data gathered from the production...
master thesis 2020
document
de Vries, Chiel (author)
To validate the quality of software, test cases are used. These test cases are often manually-written, which is labor-intensive. To avoid this problem, automated software testing was invented. Search-based software testing is a useful tool for developers to automatically generate test cases. However, improvements are still needed to create test...
bachelor thesis 2020
document
Kappé, Jeroen (author)
RESTful APIs tend to be difficult to manually write tests for. To help developers with this tedious task, a tool called EvoMaster has already been developed, to aim to automate the generation of test cases for RESTful APIs. The automation of test cases can be modeled as a multi-objective optimization problem. The existing tool EvoMaster has...
bachelor thesis 2020
document
Behnen, Francis (author)
The XRP network (Ripple network) is a global transaction network that settles trans- actions in seconds. It is a technology that provides new opportunities for traditional fi- nancial institutions and startups. In the XRP network, participants depend on each other’s functioning. However, at present Ripple Labs, Inc. is the only actor monitor-...
bachelor thesis 2020
document
Kemna, Michael (author)
Automated generation of system tests for RESTful APIs has been extensively investigated. Previous investigations use either a white box or a blackbox approach, wherein the quality of the test cases can be assessed on the HTTP response in the prior and also on the results of byte-code analysis in the latter. Both approaches are limited however,...
bachelor thesis 2020
document
Roelvink, Marijn (author)
Ripple is a relatively new payments network that aims to improve the financial system by unifying its underlying infrastructure. Given its critical function, its system must be reliable and free of bugs. Therefore it should be tested extensively. One of the test methods that has not been used on it yet is log inference, a method that has a good...
bachelor thesis 2020
document
Stallenberg, Dimitri (author)
Randomized variational operators can be very disruptive to the search process, especially when there exist dependencies between the variables under search. Within test-cases, these dependencies exist as well. This makes it interesting to evaluate the benefits of preserving these dependencies during test-case generation.<br/><br/>In this paper,...
bachelor thesis 2020
document
Popping, Sven (author)
Debugging application crashes is an expensive and time-taking process, relying on the developer’s expertise, and requiring knowledge about the system. Over the years, the research community has developed several automated approaches to ease debugging. Among those approaches, search-based crash reproduction, which tries to generate a test case...
master thesis 2020
document
Al Owayyed, Mohammed (author)
PhD students are usually more susceptible than other people to depression-inducing situations, which are not adequately addressed in eHealth systems. Cognitive behavioral therapy (CBT) is a well-established depression treatment, and one of its therapeutic methods is to change negative thought patterns into positive ones. The new positive...
master thesis 2020
document
Mostert, C. (author)
High-level music classification tasks such as automatic music mood annotation impose several challenges, both from a psychological and a machine learning point of view. Ground truth labels for these tasks at hand are hard to define due to the abstract and aesthetic nature of the data, being largely dependent on human psychology and perception....
master thesis 2020
document
Man, K.W. (author)
As software is produced more and more every year, software also gets exploited more. This exploitation can lead to huge monetary losses and other damages to companies and users. The exploitation can be reduced by automatically detecting the software vulnerabilities that leads to exploitation. Unfortunately, the state-of-the-art methods for this...
master thesis 2020
Searched for: contributor%3Apanichella
(1 - 20 of 65)

Pages

List view
Grid view