Detecting synchronization defects in multi-threaded object-oriented programs

Christoph von Praun. Detecting synchronization defects in multi-threaded object-oriented programs. PhD thesis, ETH Zurich, Zürich, Switzerland, 2004. [doi]

Abstract

Abstract is missing.