Pinned Repositories
Violist
A String analysis framework for Java and Android apps
graphs
RAT-TRAP
RAT-TRAP: A Tool for Automated Optimization of Resource Inefficient Database Writes for Mobile Applications
SAND
SQLABenchmark
A benchmark for SQL anti-patterns
SQLUsage
Violist
A String analysis framework for Java and Android apps
ifix
IFix: A Tool for the Automated Repair of Internationalization Presentation Failures (IPFs)
Performance-Checker-Wala
Automated Performance Analysis for Android Applications
SmartHomeSystem
winsonlyu's Repositories
winsonlyu/Performance-Checker-Wala
Automated Performance Analysis for Android Applications
winsonlyu/ifix
IFix: A Tool for the Automated Repair of Internationalization Presentation Failures (IPFs)
winsonlyu/SmartHomeSystem