More work on automatic testing (and even more work is needed)