@inproceedings{campbell2005multiplexing,
author = {Campbell, Colin and Veanes, Margus and Huo, Jiale and Petrenko, Alexandre},
title = {Multiplexing of Partially Ordered Events},
series = {LNCS},
booktitle = {TestCom 2005},
year = {2005},
month = {June},
abstract = {This paper introduces a method to correctly order events in modelbased testing for concurrent systems, in particular multi-threaded programs, whose events are only partially ordered. For a sequential, centralized tester, we need to merge (local) traces of each component into a (global) trace of a system in such a way that the ordering constraints are observed. To this end, we instrument a multi-threaded program under test so that the order of lock events is visible. This additional information helps a so-called multiplexer to reconstruct a fully serial trace consistent with the partial order. We describe programs and the multiplexer as labeled transition systems and give pseudo-code of the algorithm implementing the latter. The implementation of the algorithm presented is used in an industrial context.},
publisher = {Springer Verlag},
url = {http://approjects.co.za/?big=en-us/research/publication/multiplexing-of-partially-ordered-events/},
pages = {97-110},
volume = {3502},
edition = {TestCom 2005},
note = {Received Best paper award.},
}