Dynamic Symbolic Execution of Distributed Concurrent 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 of distributed concurrent objects. In FMOODS '09/FORTE '09: Proceedings of the Joint 11^th IFIP WG 6.1 International Conference FMOODS '09 and 29^th IFIP WG 6.1 International Conference FORTE '09 on Formal Techniques for Distributed Systems, pages 225-230, Berlin, Heidelberg, 2009. Springer-Verlag.