@inproceedings{83dd9aac5ccf4fc592651959c4b42532,
title = "A taxonomy of concurrency bugs in event-driven programs",
abstract = "Concurrency bugs are a well-documented topic in shared-memory programs including event-driven programs which handle asynchronous events. Asynchronous events introduce fine-grained concurrency into event-driven programs making them hard to be thoroughly tested and debugged. Unfortunately, previous taxonomies on concurrency bugs are not applicable to the debugging of event-driven programs or do not provide enough knowledge on event-driven concurrency bugs. This paper classifies the event-driven program models into low and high level based on event types and carefully examines and categorizes concurrency bug patterns in such programs. Additionally, we survey existing techniques to detect concurrency bugs in event-driven programs. To the best of our knowledge, this study provides the first detailed taxonomy on concurrency bugs in event-driven programs.",
keywords = "concurrency bugs, detection techniques, event handlers, event-driven programs, Events, interrupt, signal, taxonomy",
author = "Tchamgoue, {Guy Martin} and Ha, {Ok Kyoon} and Kim, {Kyong Hoon} and Jun, {Yong Kee}",
year = "2011",
doi = "10.1007/978-3-642-27207-3_48",
language = "English",
isbn = "9783642272066",
series = "Communications in Computer and Information Science",
pages = "437--450",
booktitle = "Software Eng. Business Continuity and Education-Int. Conf ASEA, DRBC and EL 2011,Held as Part of the Future Generation Inf. Technology Conf. FGIT 2011, in Conjunction with GDC 2011,Proc.",
note = "2011 Int.Conf.on Advanced Software Eng.and Its Applications,ASEA 2011,Disaster Recovery and Business Continuity,DRBC 2011,and Education and Learning,EL 2011,Held as Part of the 3rd Int.Mega-Conf.on Future-Generation Inform.Tech.FGIT 2011 ; Conference date: 08-12-2011 Through 10-12-2011",
}