Scalable Symbolic Execution of Distributed Systems.

Raimondas Sasnauskas, Oscar Soria Dustmann, Benjamin Lucien Kaminski, Klaus Wehrle, Carsten Weise, Stefan Kowalewski

Browse the full ICDCS paper archive.