CONCURRIT: Testing Concurrent Programs with Programmable State-Space Exploration

Title{CONCURRIT}: Testing Concurrent Programs with Programmable {State-Space} Exploration
Publication TypeConference Paper
Year of Publication2012
AuthorsBurnim J, Elmas T, Necula G, Sen K
Conference Name4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12)
Date Published06/2012
PublisherUSENIX Association
Conference LocationBerkeley, CA
URLhttps://www.usenix.org/conference/hotpar12/workshop-program/presentation/burnim