An Exact Array Reference Analysis for Data Flow Testing.

Istvn Forgcs

Browse the full ICSE paper archive.