Add @covers annotations