Qin Li -

Registered user since Mon 30 Dec 2024

Name:Qin Li

Country:China

Affiliation:Shanghai Key Laboratory of Trustworthy Computing, East China Normal University

Research interests:Trustworthy AI, Formal Modeling and Verification, AI4SE, FM4AI

Contributions

2026

ISSTA

Author of From Natural Language to Executable Properties for Property-based Testing of Mobile Apps (Experience Paper) within the Research papers-track

ESEC/FSE

Author of Event-B Agent: Towards LLM Agent for Formal Model Synthesis and Repair within the Research Papers-track

2025

VMCAI

Author of Formal Verification of Probabilistic Deep Reinforcement Learning Policies with Abstract Training within the VMCAI 2025-track