@article {Ball:2010:0302-9743:420,title = "Preemption Sealing for Efficient Concurrency Testing",
journal = "LECTURE NOTES IN COMPUTER SCIENCE",
parent_itemid = "infobike://ssam/03029743",
publishercode ="ssam",
year = "2010",
volume = "1",
number = "6015",
publication date ="2010-01-01T00:00:00",
pages = "420-434",
itemtype = "ARTICLE",
issn = "0302-9743",
url = "http://www.ingentaconnect.com/content/ssam/03029743/2010/00000001/00006015/art00035"
abstract = "",
author = "Ball, T. and Burckhardt, S. and Coons, K.E. and Musuvathi, M. and Qadeer, S.",
}