Bounded-Interference Sequentialization for Testing Concurrent Programs (bibtex)
by Niloofar Razavi, Azadeh Farzan, Andreas Holzer
Reference:
Bounded-Interference Sequentialization for Testing Concurrent ProgramsNiloofar Razavi, Azadeh Farzan, Andreas HolzerISoLA (1), volume 7609 of LNCS, pages 372-387, 2012.
Bibtex Entry:
@inproceedings{DBLP:conf/isola/RazaviFH12,
  author    = {Niloofar Razavi and
               Azadeh Farzan and
               Andreas Holzer},
  title     = {{Bounded-Interference Sequentialization for Testing Concurrent
               Programs}},
  booktitle = {ISoLA (1)},
  year      = {2012},
  pages     = {372--387},
  series = {LNCS},
  volume = {7609},
  url        = {http://dx.doi.org/10.1007/978-3-642-34026-0_28}
}
Powered by bibtexbrowser