As an aside dry running was what Ada Lovelace was doing finding Babbage's famous bug that led to her tag as the first programmer (she was not programming as such though, and it was not a program but a trace table she wrote, so not the first programmer but the first dry-runner)