Lindenmayer grammars and symbolic testing

This publication has 8 references indexed in Scilit:

• Symbolic Testing and the DISSECT Symbolic Evaluation System
  IEEE Transactions on Software Engineering, 1977
• On the decidability of the sequence equivalence problem for DOL-systems
  Theoretical Computer Science, 1976
• A System to Generate Test Data and Symbolically Execute Programs
  IEEE Transactions on Software Engineering, 1976
• Symbolic execution and program testing
  Communications of the ACM, 1976
• An Approach to Program Testing
  ACM Computing Surveys, 1975
• Methodology for the Generation of Program Test Data
  IEEE Transactions on Computers, 1975
• SELECT—a formal system for testing and debugging programs by symbolic execution
  ACM SIGPLAN Notices, 1975
• Automated generation of testcase datasets
  Published by Association for Computing Machinery (ACM) ,1975