Abstract
This note concerns a search for publications in which the pragmatic
concept of a test as conducted in the practice of software testing is
formalized, a theory about software testing based on such a
formalization is presented or it is demonstrated on the basis of such a theory that there are solid grounds to test software in cases where in principle other forms of analysis could be used.
This note reports on the way in which the search has been carried out
and the main outcomes of the search.
The message of the note is that the fundamentals of software testing are not yet complete in some respects.