1. Detecting Unexecutable Paths Through Program Flow Graphs;Bollacker;Department of Computer Science, University of Colorado, Master's Thesis,1979
2. Path Expressions in Pascal;Campbell,1979
3. A System to Generate Test Data and Symbolically Execute Programs;Clarke;IEEE Transactions on Software Engineering,1976
4. Data Flow Analysis in Software Reliability;Fosdick;Computing Surveys,1976
5. Flow Analysis of Computer Programs;Hecht,1977