Structural specification-based testing with ADL

This publication has 13 references indexed in Scilit:

• Automatically generating test data from a Boolean specification
  IEEE Transactions on Software Engineering, 1994
• The category-partition method for specifying and generating fuctional tests
  Communications of the ACM, 1988
• Sensitive test data for logic expressions
  ACM SIGSOFT Software Engineering Notes, 1984
• A Mathematical Framework for the Investigation of Testing
  IEEE Transactions on Software Engineering, 1983
• A Close Look at Domain Testing
  IEEE Transactions on Software Engineering, 1982
• Formal program testing
  Published by Association for Computing Machinery (ACM) ,1981
• Theories of Program Testing and the Application of Revealing Subdomains
  IEEE Transactions on Software Engineering, 1980
• A Domain Strategy for Computer Program Testing
  IEEE Transactions on Software Engineering, 1980
• Error Sensitive Test Cases Analysis (ESTCA)
  IEEE Transactions on Software Engineering, 1980
• Toward a theory of test data selection
  IEEE Transactions on Software Engineering, 1975