iProve: A scalable technique for consumer-verifiable software guarantees. - Silviu Andrica; Horatiu Jula; George Candea (DSN, 2010)

WaRR: A tool for high-fidelity web application record and replay. - Silviu Andrica; George Candea (DSN, 2011)

Efficiency Optimizations for Implementations of Deadlock Immunity. - Horatiu Jula; Silviu Andrica; George Candea (RV, 2011)

Mitigating Anonymity Challenges in Automated Testing and Debugging Systems. - Silviu Andrica; George Candea (ICAC, 2013)

Testing Software Systems Against Realistic User Errors. - Silviu Andrica (2014)