2010/08/16 by C.A. Middelburg, Middelburg, C. A. · 2 citations
Computer Science · #Advanced Malware Detection Techniques #D.2.5 #FOS: Computer and information sciences #Software Engineering (cs.SE) #Software Reliability and Analysis Research #Software Testing and Debugging Techniques
paper · pdf · doi:10.48550/arxiv.1008.2647
openalex publication_date 2010/08/16 · openalex created_date 2025/10/10 · openalex updated_date 2026/07/28
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.