- document
-
Birchler, Christian (author), Khatiri, Sajad (author), Derakhshanfar, P. (author), Panichella, Sebastiano (author), Panichella, A. (author)Testing with simulation environments helps to identify critical failing scenarios for self-driving cars (SDCs). Simulation-based tests are safer than in-field operational tests and allow detecting software defects before deployment. However, these tests are very expensive and are too many to be run frequently within limited time constraints...journal article 2023
- document
-
Draws, T.A. (author), Natesan Ramamurthy, Karthikeyan (author), Baldini, Ioana (author), Dhurandhar, Amit (author), Padhi, Inkit (author), Timmermans, Benjamin (author), Tintarev, N. (author)One way to help users navigate debated topics online is to apply stance detection in web search. Automatically identifying whether search results are against, neutral, or in favor could facilitate diversification efforts and support interventions that aim to mitigate cognitive biases. To be truly useful in this context, however, stance...conference paper 2023
- document
-
Rahmani, S. (author), Baghbani, Asiye (author), Bouguila, Nizar (author), Patterson, Zachary (author)Graph neural networks (GNNs) have been extensively used in a wide variety of domains in recent years. Owing to their power in analyzing graph-structured data, they have become broadly popular in intelligent transportation systems (ITS) applications as well. Despite their widespread applications in different transportation domains, there is no...journal article 2023
- document
-
Derakhshanfar, P. (author), Devroey, Xavier (author), Panichella, A. (author), Zaidman, A.E. (author), van Deursen, A. (author)Search-based approaches have been used in the literature to automate the process of creating unit test cases. However, related work has shown that generated tests with high code coverage could be ineffective, i.e., they may not detect all faults or kill all injected mutants. In this paper, we propose Cling, an integration-level test case...journal article 2023
- document
-
Allen, G.M. (author), Wright, Katherine Landau (author), Fails, Jerry Alan (author), Kennington, Casey (author), Pera, M.S. (author)We introduce a re-ranking model that augments the functionality of standard search engines to aid classroom search activities for children (ages 6–11). This model extends the known listwise learning-to-rank framework by balancing risk and reward. Doing so enables the model to prioritize Web resources of high educational alignment,...conference paper 2023
- document
-
van Teeffelen, Jop (author)The demand for online shopping has grown tremendously in the last couple of years. Picnic, a major player in the online grocery industry, is struggling to achieve long-term growth within its current operations. Scheduling and planning are key drivers for maintaining operational efficiency. The Fulfilment Centre (FC) and...master thesis 2022
- document
-
Keulemans, Kees (author)The “Wet open overheid” or Woo is a law that facilitates access to government information for Dutch citizens and states that “everyone has the right to access government information without having to show an interest in it, subject to the limitations provided for by this law.” This law is the Dutch embodiment of a Freedom of Information (FOI)...master thesis 2022
- document
-
Kap, Ryan (author)Communication is one of the main challenges in Human-Agent Teams (HATs). An important aspect of communication in HATs is the use of explanation styles. This thesis examines the influence of an explainable agent adapting its explanation style to a supervising human team leader on team performance, trust, situation awareness, collaborative fluency...master thesis 2022
- document
-
Stallenberg, Dimitri (author)Traditional software testing is a labor-intensive and expensive manual process. To mitigate the high cost of manual test case generation, researchers have developed various techniques for automated test case generation over the last few decades. These techniques make use of static type information to determine which data types should be used in...master thesis 2022
- document
-
Sarkar, Priya (author)Mathematical fairness notions introduced in literature aim to make algorithmic decisions fair. However, their usage has been criticized in domains such as recidivism and lending for producing unfair decisions. Questions regarding fairness, which also have an important role in hiring are giving way to concerns about the increasing adoption of...master thesis 2022
- document
-
Marang, Ruben (author)Machine learning models are increasingly being used within software engineering for their predictions. Research shows that these models’ performance is increasing with new research. This thesis focuses on models for method name prediction, for which the goal is to have a model that can accurately predict method names. With this thesis, we could...master thesis 2022
- document
-
Kotzeva, Zori (author)The airline industry is a complex industry. It has geographically spread employees, safety threats, partnerships with regional firms and other airlines, changing government regulations, sustainability, and flight shaming (Deloitte, 2016). Next to these complexities, the airline industry is very competitive and commoditized. The commoditization...master thesis 2022
- document
-
van Meerten, Martijn (author)Distributed concurrency bugs (DC bugs) are bugs that are triggered by a specific order of events in distributed systems. Traditional model checkers systematically or randomly test interleavings but suffer from the state-space explosion in long executions. This thesis presents DiscoTest, a testing tool for DC bugs in blockchain consensus...master thesis 2022
- document
-
Zhang, QI (author)In image search, an algorithm tries to identify images in a database that are similar to a query image. Image search has numerous applications. For example, image search can help historians find images of a historical building from a large image database of buildings worldwide. Feature extraction and nearest neighbors methods are standard steps...master thesis 2022
- document
-
Yao, Yuanyuan (author)Typically, people search images by text: users enter keywords and a search engine returns relevant results. However, this pattern has limitations. An obvious drawback is that when searching in one language, users may miss results labelled in other languages. Moreover, sometimes people know little about the object in the image and thus would not...master thesis 2022
- document
-
van Veen, Nils (author)In the field of cooperative AI, an environment is created called Overcooked AI based on the popular Overcooked game. Originally the environment is used to study deep reinforcement learning, on the other hand it also allows for cooperative planning methods of which the paper will focus on. These methods include coupled based planning with...bachelor thesis 2022
- document
-
Hofstede, Bo (author)This paper addresses the problem of Inductive Synthesis by analysing the Metropolis-Hastings stochastic search algorithm. The goal of Inductive Synthesis is to generate programs whose intended behaviour is established through the use of input and output examples. The Metropolis-Hastings algorithm searches the set of all possible programs and...bachelor thesis 2022
- document
-
van de Werken, Nathalie (author)A recent development in program synthesis is using Monte Carlo Tree Search to traverse the search tree of possible programs in order to efficiently find a program that will successfully transform the given input to the desired output. Previous research has shown promising results as Monte Carlo Tree Search is able to escape local optima that...bachelor thesis 2022
- document
-
Jansen, Robin (author)The scheduling departments of batch manufacturing plants have to repeatedly solve a complex scheduling problem for the operation of their production lines. This problem can be modeled as a flexible job shop problem (FJSP) in which a set of operations has to be assigned to a set of machines and then the order of operations on each machine has to...bachelor thesis 2022
- document
-
Okoń, Michał (author)In recent months, researchers developed several new search procedures to augment the process of program synthesis. While many of them performed better than their predecessors, the proposed solutions are still far from ideal. One possible way of overcoming the shortcomings of single search methods is employing genetic algorithms, which have been...bachelor thesis 2022