Dynamic Symbolic Execution for Testing Distributed Objects.

Andreas Griesmayer, Bernhard K. Aichernig, Einar Broch Johnsen, Rudolf Schlatte

Browse the full TAP paper archive.