@InProceedings{griesmayer09tap,
  author =       {Andreas Griesmayer and Bernhard Aichernig
                  and Einar Broch Johnsen and Rudolf Schlatte},
  title =        {Dynamic Symbolic Execution for Testing Distributed Objects},
  booktitle =    {Proc.\ 3rd Intl.\ Conference on Tests and Proofs ({TAP}'09)},
  editor =       {Catherine Dubois},
  year =         2009,
  series =       {Lecture Notes in Computer Science},
  volume =       5668,
  pages =        {105--120},
  publisher =    {Springer-Verlag},
  month =        jul,
}