What is software testing? And why is it so hard?

This publication has 10 references indexed in Scilit:

• A safe, efficient algorithm for regression test selection
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2002
• Using test oracles generated from program documentation
  IEEE Transactions on Software Engineering, 1998
• Software reliability-engineered testing
  Computer, 1996
• A Markov chain model for statistical software testing
  IEEE Transactions on Software Engineering, 1994
• PIE: a dynamic failure-based technique
  IEEE Transactions on Software Engineering, 1992
• The category-partition method for specifying and generating fuctional tests
  Communications of the ACM, 1988
• Selecting Software Test Data Using Data Flow Information
  IEEE Transactions on Software Engineering, 1985
• Literate Programming
  The Computer Journal, 1984
• Theories of Program Testing and the Application of Revealing Subdomains
  IEEE Transactions on Software Engineering, 1980
• Toward a theory of test data selection
  IEEE Transactions on Software Engineering, 1975