Dynamic Symbolic Execution of Distributed Concurrent Objects.

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

Browse the full FORTE paper archive.