Andreas Griesmayer Bernhard K. Aichernig Einar Broch Johnsen Rudolf Schlatte Dynamic Symbolic Execution for Testing Distributed Objects. 105-120 2009 TAP http://dx.doi.org/10.1007/978-3-642-02949-3_9 conf/tap/2009 db/conf/tap/tap2009.html#GriesmayerAJS09