DRACULA: Detector of Data Races in Signals Handlers. - Takamitsu Tahara; Katsuhiko Gondow; Seiya Ohsuga (APSEC, 2008)