blob: 2326f614964af29655ad5a446082c50619f0dfde (
about) (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
|
\chapter*{Abstract}
In today's increasingly technological world, software bugs can have
significant consequences. In order to limit the effect of these bugs
software engineers employ a wide variety of tests, but these are
insufficient to guarantee that software is bug free.
In this thesis we present an implementation of a game-theoretic static
analyser described in \cite{EasyChair:117} as a method of finding bugs
and guaranteeing correctness. We present our own enhancements to
improve the algorithm's running time and evaluate our improvements on
a number of benchmarks.
|
