DRACULA: Detector of Data Races in Signals Handlers.

Takamitsu Tahara, Katsuhiko Gondow, Seiya Ohsuga

Browse the full APSEC paper archive.