Finding synchronization defects in java programs: extended static analyses and code patterns.

Frank Otto, Thomas Moschny

Browse the full ICSE paper archive.