Cloud 9

Scalable symbolic execution

George Candea — Dependable Systems Lab

Stefan Bucur

Cloud 9

• Parallel Symbolic Execution for Automated Real-World Software Testing — Published in: EuroSys 2011
• Automated Software Testing as a Service — Published in: SoCC 2010
• Cloud9: A Software Testing Service — Published in: ACM Operating Systems Review 2009

inactive — entered showcase: 2019-03-18 — entry updated: 2022-07-05

Lab GitHub - last commit: 2013-09-11

This project has not yet been evaluated by the C4DT Factory team. We will be happy to evaluate it upon request.

Application

C, C++

BSD-3-Clause