Automated construction of testing and analysis tools

Authors:
Premkumar T. Devanbu;David S. Rosenblum;Alexander L. Wolf
Affiliations:
Software and Systems Research Laboratory, AT&T Bell Laboratories, Murray Hill, NJ;Software and Systems Research Laboratory, AT&T Bell Laboratories, Murray Hill, NJ;Department of Computer Science, University of Colorado, Boulder, CO
Venue:
ICSE '94 Proceedings of the 16th international conference on Software engineering
Year:
1994

Gandalf: software development environments

IEEE Transactions on Software Engineering
The program dependence graph and its use in optimization

ACM Transactions on Programming Languages and Systems (TOPLAS)
Centaur: the system

SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
The Pan language-based editing system for integrated development

SDE 4 Proceedings of the fourth ACM SIGSOFT symposium on Software development environments
A Formal Model of Program Dependences and its Implications for Software Testing, Debugging, and Maintenance

IEEE Transactions on Software Engineering
Eli: a complete, flexible compiler construction system

Communications of the ACM
GENOA: a customizable language- and front-end independent code analyzer

ICSE '92 Proceedings of the 14th international conference on Software engineering
Developing and integrating ProDAG in the Arcadia environment

SDE 5 Proceedings of the fifth ACM SIGSOFT symposium on Software development environments
Efficient construction of program dependence graphs

ISSTA '93 Proceedings of the 1993 ACM SIGSOFT international symposium on Software testing and analysis
The synthesizer generator

SDE 1 Proceedings of the first ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments

Hi-index	0.00