Searching publications on software testing

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.

7 pages

References in corpus (1)

• Searching publications on operating systems

Cited by in corpus (11)

• Putting Instruction Sequences into Effect
• Preliminaries to an investigation of reduced product set finance
• Stratified Outsourcing Theory
• Informal Control code logic
• Decision Taking as a Service
• Informatics Perspectives on Decision Taking, a Case Study on Resolving Process Product Ambiguity
• Informaticology: combining Computer Science, Data Science, and Fiction Science
• About Instruction Sequence Testing
• Steering Fragments of Instruction Sequences
• Four Conceptions of Instruction Sequence Faults
• Business Mereology: Imaginative Definitions of Insourcing and Outsourcing Transformations