Ting Su

East China Normal University

Papers on Lattice

Total citations

Topics

h-index

Publication activitypapers/week, last 8 weeks

Research focus

Code Generation & Program Synthesis (1)Natural Language Processing (1)Tool Use & Agents (1)

Frequent co-authors

Yiheng Xiong (1)Shiwen Song (1)Bo Ma (1)Xiaofei Xie (1)

Papers (1)

Apr 15, 2026

1w ago·also ECNU

From Exploration to Specification: LLM-Based Property Generation for Mobile App Testing

LLMs can now automatically generate property-based tests for Android apps, uncovering 25 previously unknown bugs that eluded existing functional testing techniques.

Yiheng Xiong, Shiwen Song, Bo Ma +2

Code Generation & Program Synthesis Natural Language Processing Tool Use & Agents

Search

Ting Su

Publication activitypapers/week, last 8 weeks

Research focus

Frequent co-authors

Papers (1)