Program analysis for software engineering: new applications, new requirements, new tools

The use of program dependence graphs in software engineering

ICSE '92 Proceedings of the 14th international conference on Software engineering

Abstract debugging of higher-order imperative languages

PLDI '93 Proceedings of the ACM SIGPLAN 1993 conference on Programming language design and implementation

Generating data flow analysis algorithms from modal specifications

TACS'91 Selected papers of the conference on Theoretical aspects of computer software

A demand-driven analyzer for data flow testing at the integration level

Proceedings of the 18th international conference on Software engineering

Software architecture styles as graph grammars

SIGSOFT '96 Proceedings of the 4th ACM SIGSOFT symposium on Foundations of software engineering

Aspect: an economical bug-detector

ICSE '91 Proceedings of the 13th international conference on Software engineering

Shape types

Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Abstract interpretation: a unified lattice model for static analysis of programs by construction or approximation of fixpoints

POPL '77 Proceedings of the 4th ACM SIGACT-SIGPLAN symposium on Principles of programming languages