Searching publications on software testing

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.

[1]  J. Voas,et al.  Software Testability: The New Verification , 1995, IEEE Softw..

[2]  S. L. Gerhart,et al.  Toward a theory of test data selection , 1975, IEEE Transactions on Software Engineering.

[3]  William E. Howden,et al.  Methodology for the Generation of Program Test Data , 1975, IEEE Transactions on Computers.

[4]  Marie-Claude Gaudel.  Software Testing Based on Formal Specification , 2007, PSSE.

[5]  Karl N. Levitt,et al.  SELECT—a formal system for testing and debugging programs by symbolic execution , 1975 .

[6]  Elaine J. Weyuker,et al.  Analyzing Partition Testing Strategies , 1991, IEEE Trans. Software Eng..

[7]  John S. Gourlay.  A Mathematical Framework for the Investigation of Testing , 1983, IEEE Transactions on Software Engineering.

[8]  William E. Howden,et al.  Functional Program Testing , 1978, IEEE Transactions on Software Engineering.

[9]  Jin-Cherng Lin,et al.  Software testability measurements derived from data flow analysis , 1998, Proceedings of the Second Euromicro Conference on Software Maintenance and Reengineering.

[10]  Luc Bougé,et al.  A Contribution to the Theory of Program Testing , 1985, Theor. Comput. Sci..

[11]  Shaoying Liu,et al.  Generating test data from state‐based specifications , 2003, Softw. Test. Verification Reliab..

[12]  Elaine J. Weyuker,et al.  Testing software to detect and reduce risk , 2000, J. Syst. Softw..

[13]  Kuo-Chung Tai.  Program Testing Complexity and Test Criteria , 1980, IEEE Transactions on Software Engineering.

[14]  A. Jefferson Offutt,et al.  Mutation analysis using mutant schemata , 1993, ISSTA '93.

[15]  Matthew M. Geller.  Test data as an aid in proving program correctness , 1978, CACM.

[16]  J. Paul Myers.  The complexity of software testing , 1992, Softw. Eng. J..

[17]  Gilles Bernot,et al.  Testing Against Formal Specifications: A Theoretical View , 1991, TAPSOFT, Vol.2.

[18]  J. R. Brown,et al.  Testing for software reliability , 1975 .

[19]  John A. Clark,et al.  Investigating the effectiveness of object-oriented strategies with the mutation method (abstract only) , 2001 .

[20]  Debra J. Richardson,et al.  Approaches to specification-based testing , 1989 .

[21]  Richard G. Hamlet,et al.  Foundations of software testing: dependability theory , 1994, SIGSOFT '94.

[22]  Kees Middelburg,et al.  Searching publications on operating systems , 2010, ArXiv.

[23]  Richard L. Sauder,et al.  A general test data generator for COBOL , 1962, AIEE-IRE '62 (Spring).

[24]  Norman F. Schneidewind,et al.  Integrating testing with reliability , 2009, Softw. Test. Verification Reliab..

[25]  John A. Clark,et al.  Investigating the effectiveness of object‐oriented testing strategies using the mutation method , 2001 .

[26]  Elaine J. Weyuker,et al.  The evaluation of program-based software test data adequacy criteria , 1988, CACM.

[27]  Elaine J. Weyuker,et al.  On Testing Non-Testable Programs , 1982, Comput. J..

[28]  Elaine J. Weyuker,et al.  An Extended Domain-Bases Model of Software Reliability , 1988, IEEE Trans. Software Eng..

[29]  Vladimir N. Fleyshgakker,et al.  Efficient mutation analysis: a new approach , 1994, ISSTA '94.

[30]  Lori A. Clarke,et al.  A System to Generate Test Data and Symbolically Execute Programs , 1976, IEEE Transactions on Software Engineering.

[31]  Elaine J. Weyuker,et al.  Theories of Program Testing and the Application of Revealing Subdomains , 1980, IEEE Transactions on Software Engineering.

[32]  Dieter Hogrefe,et al.  Framework for formal methods in conformance testing , 1995 .

[33]  Jeffrey M. Voas,et al.  Estimating the Probability of Failure When Testing Reveals No Failures , 1992, IEEE Trans. Software Eng..

[34]  Elaine J. Weyuker,et al.  The Cost of Data Flow Testing: An Empirical Study , 1990, IEEE Trans. Software Eng..

[35]  C. L. Perry.  The logical design of the Oak Ridge digital computer , 1952, ACM '52.

[36]  Elaine J. Weyuker,et al.  Selecting Software Test Data Using Data Flow Information , 1985, IEEE Transactions on Software Engineering.

[37]  William E. Howden,et al.  Reliability of the Path Analysis Testing Strategy , 1976, IEEE Transactions on Software Engineering.

[38]  William E. Howden.  Algebraic program testing , 2004, Acta Informatica.

[39]  Elaine J. Weyuker,et al.  Assessing Test Data Adequacy through Program Inference , 2019, TOPL.

[40]  Richard J. Lipton,et al.  Theoretical and empirical studies on using program mutation to test the functional correctness of programs , 1980, POPL '80.