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

Arndt Mhlenfeld, Franz Wotawa

Browse the full PPoPP paper archive.