"Fault detection in multi-threaded c++ server applications."

Arndt Mühlenfeld, Franz Wotawa (2007)
a service of Schloss Dagstuhl - Leibniz Center for Informatics