Cloud9: a software testing service. - Liviu Ciortea; Cristian Zamfir; Stefan Bucur; Vitaly Chipounov; George Candea (ACM SIGOPS Oper. Syst. Rev., 2009)

Automated software testing as a service. - George Candea; Stefan Bucur; Cristian Zamfir (SoCC, 2010)

Parallel symbolic execution for automated real-world software testing. - Stefan Bucur; Vlad Ureche; Cristian Zamfir; George Candea (EuroSys, 2011)

Efficient state merging in symbolic execution. - Volodymyr Kuznetsov; Johannes Kinder; Stefan Bucur; George Candea (PLDI, 2012)

Making automated testing of cloud applications an integral component of PaaS. - Stefan Bucur; Johannes Kinder; George Candea (APSys, 2013)

Prototyping symbolic execution engines for interpreted languages. - Stefan Bucur; Johannes Kinder; George Candea (ASPLOS, 2014)

Improving Scalability of Symbolic Execution for Software with Complex Environment Interfaces. - Stefan Bucur (2015)

FUDGE: fuzz driver generation at scale. - Domagoj Babic; Stefan Bucur; Yaohui Chen; Franjo Ivancic; Tim King 001; Markus Kusano; Caroline Lemieux; László Szekeres; Wei Wang (ESEC/SIGSOFT FSE, 2019)