Using QuickCheck to verify Erlang implementation of GTPv2

Abstract

In this master thesis project, Quviq QuickCheck is used in order to perform unit testing of a stateless subsystem of Ericsson'sMME, which is a central node in the 4G network. During the project, errors that have not been found in previous testing are discovered, QuickCheck test code is found to be cheap to maintain, and the specific environ- ment is found to be ideal for QuickCheck testing.