Mihai Florian. A Framework for Systematic Testing of Multi-threaded Applications. In Leon Alkalai, Timothy Tsai, Tomohiro Yoneda, editors, 17th IEEE Pacific Rim International Symposium on Dependable Computing, PRDC 2011, Pasadena, CA, USA, December 12-14, 2011. pages 278-279, IEEE Computer Society, 2011. [doi]
Abstract is missing.