Using formal models to objectively judge quality of multi-threaded programs in empirical studies.

Laura K. Dillon, R. E. Kurt Stirewalt, Eileen T. Kraemer, Shaohua Xie, Scott D. Fleming

Browse the full ICSE paper archive.