Laura K. Dillon, R. E. Kurt Stirewalt, Eileen Kraemer, Shaohua Xie, Scott D. Fleming. Using formal models to objectively judge quality of multi-threaded programs in empirical studies. In Joanne M. Atlee, Robert B. France, Geri Georg, Ana Moreira, Bernhard Rumpe, Steven Völkel, Steffen Zschaler, editors, International Workshop on Modeling in Software Engineering, MiSE 2008, Leipzig, Germany, May 10-11, 2008. pages 33-38, ACM, 2008. [doi]
Abstract is missing.