What term is used to describe the way a program behaves based on its code semantics?

The term 'behavior' directly refers to how a program acts based on its semantics, while 'execution' and 'output' are specific outcomes of that behavior.