An automated oracle for software testing

This publication has 17 references indexed in Scilit:

• SAMM: A modeling tool for requirements and design specification
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,2005
• A functional approach to program testing and analysis
  IEEE Transactions on Software Engineering, 1986
• Practical Priorities in System Testing
  IEEE Software, 1985
• Software Technology in the 1990's: Using a New Paradigm
  Computer, 1983
• An Engineering Approach to Software Test Data Design
  IEEE Transactions on Software Engineering, 1983
• Program Instrumentation and Software Testing
  Computer, 1978
• On the Automated Generation of Program Test Data
  IEEE Transactions on Software Engineering, 1976
• Software Engineering
  IEEE Transactions on Computers, 1976
• Toward a theory of test data selection
  IEEE Transactions on Software Engineering, 1975
• Testing large software with automated software evaluation systems
  IEEE Transactions on Software Engineering, 1975