Artifact for 'Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts'

This dataset contains the results presented in 'Allocation Tracking and Parameter Checking for Parallel Programming Models using Contracts', as well as the scripts necessary to reproduce them. For the up-to-date CoVer source code, see https://github.com/tudasc/CoVer