Dynamic Symbolic Execution of Distributed Concurrent Objects (short paper)