Found 2 results
Filters: Author is Stefan Bucur  [Clear All Filters]
Bucur, Stefan, Cristian Zamfir, George Cande, and Vlad Ureche. Parallel Symbolic Execution for Automated Real-World Software Testing In 6th ACM SIGOPS/EuroSys Conference on Computer Systems., 2011.
Ciortea, Liviu, Stefan Bucur, Vitaly Chipounov, George Candea, and Cristian Zamfir. "Cloud9: A Software Testing Service." ACM SIGOPS Operating Systems Review 43:4 (2009).