An Exact Array Reference Analysis for Data Flow Testing

@inproceedings{Forgacs:ICSE96,
  author    = {Istv{\'{a}}n Forg{\'{a}}cs},
  title     = {An Exact Array Reference Analysis for Data Flow Testing},
  booktitle = {ICSE},
  pages     = {565--574},
  publisher = {{IEEE} Computer Society},
  year      = {1996},
}