Lixiao Zheng
Publication record assembled from the DBLP archive of ranked conferences.
Papers indexed
7
Venues
6
Active years
2009–2026
Best venue rank
National
Where they publish
Papers
7 indexed papers, newest first.
| Year | Venue | Title | Authors |
|---|---|---|---|
| 2026 | TASE | Generation of Non-matching Strings for Testing Regular Expressions via Complement Automaton Coverage. | Minghuang Lin, Weihao Lan, Lixiao Zheng, Haibo Li |
| 2026 | TASE | Symbolic Model Checking for Linear Temporal Dynamic Logic via Compositional Testers. | Xiangyu Luo, Li Li, Lijun Wu, Kaile Su, Zuxi Chen, Lixiao Zheng |
| 2025 | ICFEM | A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs. | Haibo Li, Lixiao Zheng, Qihang Cai |
| 2023 | SETTA | Deducing Matching Strings for Real-World Regular Expressions. | Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen |
| 2011 | SAC | Determinacy and rewriting of conjunctive queries over unary database schemas. | Lixiao Zheng, Haiming Chen |
| 2010 | SEFM | A Toolkit for Generating Sentences from Context-Free Grammars. | Zhiwu Xu, Lixiao Zheng, Haiming Chen |
| 2009 | COMPSAC | A Sentence Generation Algorithm for Testing Grammars. | Lixiao Zheng, Duanyi Wu |