Data flow analysis for checking properties of concurrent Java programs (1999)

by Gieb Naumovich , George S. Avrunin , Lori A. Clarke
Venue:In Proceedings of the 21st International Conference on Software Engineering
Citations:41 - 11 self