References

1

W. Pugh, ``A Practical Algorithm for Exact Array Dependence Analysis'', Communication of Algorithm, vol:35 No:8, August, 1992

2

W.Pugh and D. Wonnacott, ``Going beyond Integer Programming with the Omega Test to Eliminate False Dependences'', Technical Report University of Maryland,UMIACS-TR-93-132, December, 1992

3

W.Pugh, ``Counting Solutions to Presburger Formulas: How and Why'', Technical Report University of Maryland,CS-TR-3234, March, 1994

4

W. Kelly, W. Pugh and E. Rosser, ``Code Generation for Multiple Mappings'', Technical Report University of Maryland,CS-TR-3317.1, November, 1994

5

W. Kelly, V. Maslow, W.Pugh, E. Rosser, T. Shpeisman, and D. Wonnacott, ``The Omega Calculator and Library, Version 0.96'' Draft, June, 1995

6

W. Pugh, ``Definitions of Dependence Distance'', UMIACS-TR-93-133, April,1993

7

E. Duesterwald, R. Gupta, M.L. Soffa, ``Demand-driven Computation of Interprocedural Data Flow'', Symposium on Principles of Programming Languages (POPL-95), January 1995

8

E. Duesterwald, R. Gupta, M.L. Soffa, ``A practical Data Flow Framework for Array Reference Analysis and it's Use in Optimization'', Technical Report of Department of Computer Science, University of Pittsburg, 1993

9

W. Pugh, D. Wonnacott, ``An Exact Methof for Analysis of Value-based Array Data Dependences'', CS-TR-3196, December 1993.

10

I. Forgacs, ``An Exact Array reference analysis for Data Flow Testing'', Proceedings of International conference of Software Engineering, 1996

11

R. Gupta, M. J. Harrold , M. L. Soffa, ``An Approach to Regression Testing using Slicing'', Proceedings of Conference on software Maintenance, November 1992.

12

M. J. Harrold, ``Combat: A Compiler Based Testing System'', Technical report at Department of Computer Science, Clemson University, 1994.

13

G. Rothermel and M. J. Harrold ``A Comparison of Regression Test Selection Techniques'', Technical report at Department of Computer Science, Clemson University, 1994.

14

M. J. Harrold, Personel Communication with this author

15

J. Lloyd and M. J. Harrold, ``Implementing an Interprocedural Dataflow Tester using Abatract Execution'', Technical report at Department of Computer Science, Clemson University, 1995

16

M. Marre and A. Bertolino, ``Reducing and Estimating the cost of Test Coverage Critaria'', Proceedings of International conference of Software Engineering, 1996

17

W. Pugh and D. Wonnacoot, ``Experince with Constraint-based Array Dependence Analysis'', CS-TR-3371, November, 1994