Automated construction of testing and analysis tools

This publication has 10 references indexed in Scilit:

• Efficient construction of program dependence graphs
  Published by Association for Computing Machinery (ACM) ,1993
• Developing and integrating ProDAG in the Arcadia environment
  Published by Association for Computing Machinery (ACM) ,1992
• Eli: a complete, flexible compiler construction system
  Communications of the ACM, 1992
• GENOA - A Customizable, Language- And Front-end Independent Code Analyzer
  Published by Institute of Electrical and Electronics Engineers (IEEE) ,1992
• The Pan language-based editing system for integrated development
  Published by Association for Computing Machinery (ACM) ,1990
• A formal model of program dependences and its implications for software testing, debugging, and maintenance
  IEEE Transactions on Software Engineering, 1990
• Centaur: the system
  Published by Association for Computing Machinery (ACM) ,1988
• The program dependence graph and its use in optimization
  ACM Transactions on Programming Languages and Systems, 1987
• Gandalf: Software development environments
  IEEE Transactions on Software Engineering, 1986
• The synthesizer generator
  Published by Association for Computing Machinery (ACM) ,1984