publication . Other literature type . Conference object . 2011

Parallel symbolic execution for automated real-world software testing

Stefan Bucur; Vlad Ureche; Cristian Zamfir; George Candea;
Open Access
  • Published: 24 May 2011
  • Publisher: Association for Computing Machinery (ACM)
  • Country: Switzerland
Abstract
This paper introduces Cloud9, a platform for automated testing of real-world software. Our main contribution is the scalable parallelization of symbolic execution on clusters of commodity hardware, to help cope with path explosion. Cloud9 provides a systematic interface for writing "symbolic tests" that concisely specify entire families of inputs and behaviors to be tested, thus improving testing productivity. Cloud9 can handle not only single-threaded programs but also multi-threaded and distributed systems. It includes a new symbolic environment model that is the first to support all major aspects of the POSIX interface, such as processes, threads, synchroniza...
Subjects
free text keywords: POSIX, Software, business.industry, business, Operating system, computer.software_genre, computer, Python (programming language), computer.programming_language, Symbolic execution, Test case, Scalability, Debugging, media_common.quotation_subject, media_common, Programming language, Thread (computing), Computer science
Related Organizations
Any information missing or wrong?Report an Issue