@inproceedings {181277,
	author = {Jacob Burnim and Tayfun Elmas and George Necula and Koushik Sen},
	title = {{CONCURRIT}: Testing Concurrent Programs with Programmable {State-Space} Exploration},
	booktitle = {4th USENIX Workshop on Hot Topics in Parallelism (HotPar 12)},
	year = {2012},
	address = {Berkeley, CA},
	url = {https://www.usenix.org/conference/hotpar12/workshop-program/presentation/burnim},
	publisher = {USENIX Association},
	month = jun
}
