Testing by hand differs from testing