ServerlessCoverageTesting This tool can be used for the instrumentation of serverless functions of a serverless application which is modeled by this tool. Furthermore, test cases modelled by our tool can be created automatically.