This page has moved to https://eecs281.waleedkhan.name/painless-automated-testing/.