Xiaoxing Ma

Latest

• Practical GUI Testing of Android Applications via Model Abstraction and Refinement
• AimDroid: Activity-Insulated Multi-level Automated Testing for Android Applications
• Automatic Runtime Recovery via Error Handler Synthesis