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...
Read more
doi: 10.1145/1966445.1966463
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
Download fromView all 3 versions
http://infoscience.epfl.ch/rec...
Conference object
Provider: UnpayWall
Infoscience - EPFL scientific publications
Other literature type . 2011
Provider: Infoscience - EPFL scientific publications
https://dslab.epfl.ch/pubs/clo...
Conference object
Provider: Microsoft Academic Graph
http://dl.acm.org/ft_gateway.c...
Conference object . 2011
Provider: Crossref
View more
Powered by OpenAIRE Research Graph
Any information missing or wrong?Report an Issue