system utilities / real-world software systems / production software misses / Internet services / large software / software testing practice / real-world software / high-profile web sites / payload-processing part / large systems / automated testing tool / lighttpd web server / tested software / industrial generalpurpose software / singlenode systems / real software / automated software testing techniques / actual hardware / Web servers Distributed object cache Language interpreter Network / rubber band / Internet transfer application Time Scalability We show / commodity hardware / throw hardware / web server / real-world systems / software testing / target software / larger systems / /
OperatingSystem
UNIX / Linux / Fork / POSIX / /
Organization
Communication Sciences École Polytechnique Fédérale de Lausanne / Automated Real-World Software Testing Stefan Bucur Vlad Ureche Cristian Zamfir George Candea School of Computer / /
Person
Stefan Bucur Vlad Ureche Cristian / /
Position
driver / Python interpreter / General / cooperative scheduler / source worker / Software Web servers Distributed object cache Language interpreter Network utilities Compression utility Event notification library Suite / Function Name cloud9_make_symbolic cloud9_fi_enable cloud9_fi_disable cloud9_set_max_heap cloud9_set_scheduler / Representative / roundrobin scheduler / scheduler / /
Product
Apache / bug fixes / /
ProgrammingLanguage
C / Python / /
ProvinceOrState
Texas / /
Technology
RAM / UNIX / Linux / API / UDP protocols / UDP / shared memory / operating systems / DBMS / half-duplex / TCP/IP / 8 algorithm / HTTP / simulation / underlying technology / web server / CAD / scheduling 8 algorithm / /
Parallel Symbolic Execution for Automated Real-World Software Testing Stefan Bucur Vlad Ureche