Automated Software Test Generation: Some Challenges, Solutions, and Recent Advances von Candea, George, Godefroid, Patrice

Volltext

LFI: A practical and general library-level fault injector von Marinescu, P.D., Candea, G.

Volltext

The S2E Platform: Design, Implementation, and Applications von Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

Volltext

Efficient state merging in symbolic execution von Kuznetsov, Volodymyr, Kinder, Johannes, Bucur, Stefan, Candea, George

Volltext

A scalable, predictable join operator for highly concurrent data warehouses von Candea, George, Polyzotis, Neoklis, Vingralek, Radek

Volltext

Automated Classification of Data Races Under Both Strong and Weak Memory Models von Kasikci, Baris, Zamfir, Cristian, Candea, George

Volltext

High System-Code Security with Low Overhead von Wagner, Jonas, Kuznetsov, Volodymyr, Candea, George, Kinder, Johannes

Volltext

Message from the DCCS program chair von Candea, George

Volltext

Predictable performance and high query concurrency for data analytics von Candea, George, Polyzotis, Neoklis, Vingralek, Radek

Volltext

Efficient Testing of Recovery Code Using Fault Injection von MARINESCU, Paul D, CANDEA, George

Volltext

WaRR: A tool for high-fidelity web application record and replay von Andrica, S., Candea, G.

Volltext

Discover deeper bugs with dynamic symbolic execution and coverage-based fuzz testing von Zhang, Bin, Feng, Chao, Herrera, Adrian, Chipounov, Vitaly, Candea, George, Tang, Chaojing

Volltext

S2E: a platform for in-vivo multi-path analysis of software systems von Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

Volltext

ConfErr: A tool for assessing resilience to human configuration errors von Keller, L., Upadhyaya, P., Candea, G.

Volltext

The S2E Platform: Design, Implementation, and Applications: SPECIAL ISSUE APLOS 2011 von CHIPOUNOV, Vitaly, KUZNETSOV, Volodymyr, CANDEA, George

Volltext

Recovery-oriented computing: building multitier dependability von Candea, G., Brown, A.B., Fox, A., Patterson, D.

Volltext

Predictable performance and high query concurrency for data analytics: Best papers of the 35th Internatinal Conference on Very Large Data Bases (VLDB 2009), Lyon, France, 24-28 Aug... von CANDEA, George, POLYZOTIS, Neoklis, VINGRALEK, Radek

Volltext

S2E: a platform for in-vivo multi-path analysis of software systems von Chipounov, Vitaly, Kuznetsov, Volodymyr, Candea, George

Volltext

Improving availability with recursive microreboots: a soft-state system case study von Candea, George, Cutler, James, Fox, Armando

Volltext

Cloud9: a software testing service von Ciortea, Liviu, Zamfir, Cristian, Bucur, Stefan, Chipounov, Vitaly, Candea, George

Volltext