Home Research Teaching Service People Other

An Empirical Study on Performance Bugs for Highly Configurable Software Systems

Detecting, Localizing, and Optimizing Synchronization Bottlenecks (SyncProf)

Testing for Virtual Devices (VDTest)

Automatically Predicting Configuration Bug Reports and Extracting Configuration Options (CoLUA)

Predicting Testability of Concurrent Programs

Regression Testing for Concurrent Programs (SimRT)

Testing for System-level Elusive Faults (SimExplorer)