Lixiao Zheng

21 papers B 1C 1Misc 2Journal 13Unranked 4
YearRankTypeTitle / Venue / Authors
2025 C conf
A Test-Driven Approach for Refining Use Case Specifications of Software Requirements with LLMs.
ICFEM
Haibo Li, Lixiao Zheng, Qihang Cai
2025 J jnl
Enhancing Requirements via Structured Formalization and Process-State Consistency Validation: An LLM-Assisted Test-Driven Framework.
IET Softw.
Haibo Li, Lixiao Zheng
2025 J jnl
Hyperclustering: High-Order Deep/Shallow Feature Clustering for Subway Shield Tunneling Water Leakage Detection.
IEEE Access
Jianjun Xu, Xing Yuan, Lixiao Zheng, Da Lin
2024 J jnl
Geometry-Based Feature Selection and Deep Aggregation Model for Architectural Scenery Recomposition Toward Education.
IEEE Access
Lingjiao Fan, Shuangyang Cai, Chengbo He, Xinlong Li, Lixiao Zheng
2023 Misc conf
Deducing Matching Strings for Real-World Regular Expressions.
SETTA
Yixuan Yan, Weihao Su, Lixiao Zheng, Mengxi Wang, Haiming Chen, Chengyao Peng, Rongchen Li, Zixuan Chen
2023 J jnl
Parallel path detection for fraudulent accounts in banks based on graph analysis.
PeerJ Comput. Sci.
Zuxi Chen, Shifan Zhang, Xianli Zeng, Meng Mei, Xiangyu Luo, Lixiao Zheng
2022 J jnl
Incremental Witness Generation for Branching-Time Logic CTL.
IEEE Trans. Reliab.
Xiangyu Luo, Sen Liang, Lixiao Zheng, Zuxi Chen, Fan Yang
2021 J jnl
Ensuring the Correctness of Regular Expressions: A Review.
Int. J. Autom. Comput.
Lixiao Zheng, Shuai Ma, Zuxi Chen, Xiangyu Luo
2020 J jnl
String Generation for Testing Regular Expressions.
Comput. J.
Lixiao Zheng, Shuai Ma, Yuanyang Wang, Gang Lin
2019 J jnl
Research on Deadbeat Current Prediction Vector Control System of Axial Flux Permanent Magnet Synchronous Motor for Electric Bus Based on Efficiency Optimal Torque Distribution Method.
IEEE Access
Jianfei Zhao, Lixiao Zheng, Shuang Wang, Minqi Hua
2018 — conf
An Algorithm for Learning Regular Expressions Based on Repeated String Detection.
CSAI/ICIMT
Gang Lin, Lixiao Zheng, Yuanyang Wang
2018 J jnl
Symbolic model checking for discrete real-time systems.
Sci. China Inf. Sci.
Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng, Zuxi Chen
2016 J jnl
Single-view determinacy and rewriting completeness for a fragment of XPath queries.
Sci. China Inf. Sci.
Lixiao Zheng, Shuai Ma, Xiangyu Luo, Tiejun Ma
2015 J jnl
Deciding determinism of unary languages.
Inf. Comput.
Ping Lu, Feifei Peng, Haiming Chen, Lixiao Zheng
2014 — conf
Design and Implementation of WPF-based Mini OA System.
3PGCIC
Cheng Wang, Zhixiao Lin, Fangsheng Guotang, Lixiao Zheng, Zhigang Zhu
2012 J jnl
View determinacy for preserving selected information in data transformations.
Inf. Syst.
Wenfei Fan, Floris Geerts, Lixiao Zheng
2011 J jnl
A Toolkit for Generating Sentences from Context-Free Grammars.
Int. J. Softw. Informatics
Zhiwu Xu, Lixiao Zheng, Haiming Chen
2011 Misc conf
Determinacy and rewriting of conjunctive queries over unary database schemas.
SAC
Lixiao Zheng, Haiming Chen
2010 B conf
A Toolkit for Generating Sentences from Context-Free Grammars.
SEFM
Zhiwu Xu, Lixiao Zheng, Haiming Chen
2009 — conf
A Sentence Generation Algorithm for Testing Grammars.
COMPSAC (1)
Lixiao Zheng, Duanyi Wu
2009 — conf
A Systematic Framework for Grammar Testing.
ACIS-ICIS
Lixiao Zheng, Haiming Chen