Finding Concurrency-Related Bugs Using Random Isolation
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Nicholas Kidd, Thomas W. Reps, Julian Dolby, Mandana Vaziri
Finding Concurrency-Related Bugs Using Random Isolation
VMCAI, 2009.

VMCAI 2009
Full names Links ISxN
	author        = "Nicholas Kidd and Thomas W. Reps and Julian Dolby and Mandana Vaziri",
	booktitle     = "{Proceedings of the 10th International Conference on Verification, Model Checking and Abstract Interpretation}",
	doi           = "10.1007/978-3-540-93900-9_18",
	isbn          = "978-3-540-93899-6",
	pages         = "198--213",
	publisher     = "{Springer International Publishing}",
	series        = "{Lecture Notes in Computer Science}",
	title         = "{Finding Concurrency-Related Bugs Using Random Isolation}",
	volume        = 5403,
	year          = 2009,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.