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 HolzerChapter in Leveraging Applications of Formal Methods, Verification and Validation. Technologies for Mastering Change (Tiziana Margaria, Bernhard Steffen, eds.), volume 7609 of Lecture Notes in Computer Science, pages 372-387, 2012, Springer Berlin Heidelberg.
Bibtex Entry:
@incollection{ISOLA,
publisher = {Springer Berlin Heidelberg},
doi = {10.1007/978-3-642-34026-0_28},
isbn = {978-3-642-34025-3},
title = {Bounded-Interference Sequentialization for Testing Concurrent Programs},
url = {/pubpdf/Bounded-Interference_Sequentialization_for_Testing_Concurrent_Programs.pdf},
series = {Lecture Notes in Computer Science},
booktitle = {Leveraging Applications of Formal Methods, Verification and Validation.
Technologies for Mastering Change},
author = {Razavi, Niloofar and Farzan, Azadeh and Holzer, Andreas},
volume = {7609},
link = {http://dx.doi.org/10.1007/978-3-642-34026-0_28},
editor = {Margaria, Tiziana and Steffen, Bernhard},
year = {2012},
pages = {372-387},
}
Powered by bibtexbrowser