- document
-
Dekker, Nick (author)Fault injection has been a long-standing technique for testing software. Injecting faults into a system, either in production or development environments, offers unique opportunities to discover bugs that are difficult to reproduce using conventional testing methods. However, it is widely considered to have a high implementation threshold. Due...master thesis 2023
- 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
-
Proost, Rick (author)Monitoring software behaviour is being done in various ways. Log messages are being output by almost any kind of running software system. Therefore, learning how software behaves from doing analysis over log data can lead to new insights about the system. However, the number of log messages in a computer system grow fast, and analysing the log...master thesis 2020
- document
-
Valdivia, Diego (author)The rise of e-commerce has led to a congested last-mile delivery paradigm. Increasing customer expectations have pushed carriers into a delivery market with diminishing profitability. Furthermore, the current state of last-mile delivery has high societal costs in congestion and environmental impact. To address these challenges, scientists in the...master thesis 2020