Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte. Dynamic Symbolic Execution for Testing Distributed Objects. In Catherine Dubois, editor, Tests and Proofs, Third International Conference, TAP 2009, Zurich, Switzerland, July 2-3, 2009. Proceedings. Volume 5668 of Lecture Notes in Computer Science, pages 105-120, Springer, 2009. [doi]
Abstract is missing.