On the theory of software testing

C.A. Middleburg of the University of Amsterdam has conducted a literature survey to find out about the state of the art in software testing theory. I will quote one of his conclusions here:

Some remarkable observations are:

• in the development of existing theories about software testing, what sets
  software testing apart from other forms of software analysis, namely that a
  test involves the execution of code and observation of effects of the execution,
  is completely forgotten;
• …

It is rather remarkable, isn’t it?