Before revision: have all the statements in a program been executed, at least onece ?
After revision: have all the statements in a program been executed, at least once ?