Labs for Chalmers course TDA567 ("Testing, Debugging and Verification", or some shit like that).