Dynamic Symbolic Execution for Testing Distributed Objects

A. Griesmayer, B. Aichernig, E. B. Johnsen, and R. Schlatte

Abstract:

Reference: A. Griesmayer, B. Aichernig, E. B. Johnsen, and R. Schlatte. Dynamic symbolic execution for testing distributed objects. In TAP '09: Proceedings of the 3^rd International Conference on Tests and Proofs, pages 105-120, Berlin, Heidelberg, 2009. Springer-Verlag.