Tianxiao Gu

Latest

• SnR: Constraint-Based Type Inference for Incomplete Java Code Snippets
• Practical GUI Testing of Android Applications via Model Abstraction and Refinement
• Perses: Syntax-Guided Program Reduction
• AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications
• Automatic Runtime Recovery via Error Handler Synthesis