Exploiting Symbolic Execution to Accelerate Deterministic Databases.

Shady Issa, Miguel Viegas, Pedro Raminhas, Nuno Machado, Miguel Matos, Paolo Romano

Browse the full ICDCS paper archive.