Labs for software reliability course dd2459