Finding Concurrency Errors in Sequential Code—OS-level, In-vivo Model Checking of Process Races

TitleFinding Concurrency Errors in Sequential {Code—OS-level}, In-vivo Model Checking of Process Races
Publication TypeConference Paper
Year of Publication2011
AuthorsLaadan O, Tsai C-che, Viennot N, Blinn C, Du PSenyao, Nieh J
Conference Name13th Workshop on Hot Topics in Operating Systems (HotOS XIII)
Date Published05/2011
PublisherUSENIX Association
Conference LocationNapa, CA
URLhttps://www.usenix.org/conference/hotosxiii/finding-concurrency-errors-sequential-code—os-level-vivo-model-checking-process