@misc {IOPORT.70202706,
    author       = {Wu, Manna and Zhou, Bo and Shi, Wei},
    title        = {A self-adaptive test framework for concurrent programs},
    howpublished = {MEDES, 456-457 (2009).},
    year         = {2009},
    doi          = {10.1145/1643823.1643911},
    identifier   = {70202706},
}