Data Flow Analysis for Checking Properties of Concurrent Java Programs.

Gleb Naumovich, George S. Avrunin, Lori A. Clarke

Browse the full ICSE paper archive.