Searched for: contributor%3A%22Decouchant%2C+J%C3%A9r%C3%A9mie+%28graduation+committee%29%22
(1 - 1 of 1)
- 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