郑黎晓 - 华侨大学 - 计算机科学与技术学院

个人简介

【教育经历】 2006/09–2012/07，中国科学院软件研究所，计算机软件与理论，博士 2009/11–2011/04，爱丁堡大学信息学院，访问博士生 2002/09–2006/07, 吉林大学计算机学院，计算机科学与技术，学士【工作经历】 2012/7-至今，华侨大学，计算机科学与技术学院，讲师【主讲课程】《数据结构》、《离散数学》、《软件质量保证与测试》【近期主持或参加的部分科研项目】国家自然科学基金面上项目，支持计数与无序的扩展表达式的理论问题与应用研究，2019/01-2022/12，参加国家自然科学基金青年项目，正反例相结合的正则表达式极限识认算法，2016/01-2018/12，主持福建省自然科学基金面上项目，结构与语义约束相融合的XML模式推断研究，2015/04-2018/04,主持国家自然科学基金面上项目，确定性表达式及其子类的理论问题与工具研究，2015/01-2018/12，参加华侨大学人才引进科研启动项目，XML 数据上的视图确定性问题研究，2013/01-2014/12，主持国家自然科学基金面上项目，无秩树结构数据和语义多态类型系统的研究，2011/01-2013/12，参加【招生专业】 1. 软件工程（学硕） 2.计算机技术（专硕）

研究领域

文法的智能学习算法，程序分析与软件测试

近期论文

查看导师最新文章（温馨提示：请注意重名现象，建议点开原文通过作者单位确认）

Lixiao Zheng, Shuai Ma*, Yuanyang Wang, Gang Lin. String Generation for Testing Regular Expressions. The Computer Journal. 2019.（SCI收录） Gang Lin, Lixiao Zheng*, Wuanyang Wang. An Algorithm for Learning Regular Expressions Based on Repeated String Detection. Proceedings of the 2nd International Conference on Computer Science and Artificial Intelligence, 2018: 237-241（EI收录） Xiangyu Luo, Lijun Wu, Qingliang Chen, Haibo Li, Lixiao Zheng and Zuxi Chen. Symbolic Model Checking for Discrete Real-Time Systems. SCIENCE CHINA Information Sciences, 2018.（SCI收录） Lixiao Zheng, Shuai Ma*, Xiangyu Luo, Tiejun Ma. Single-View Determinacy and Rewriting Completeness for a Fragment of XPath Queries. SCIENCE CHINA Information Sciences, 2016, 59(9):1-3.（SCI收录）郑黎晓*, 王成. XML模式推断研究综述. 电子学报, 2016, 44(2):461-471.（EI收录） Ping Lu, Feifei Peng, Haiming Chen*, Lixiao Zheng, Deciding Determinism of Unary Languages, Information and Computation, 2015, 245:181–196 （SCI收录）郑黎晓*, 王成, 常青玲，一种基于模式覆盖的XML文档自动生成方法，小型微型计算机系统，2015，36(01): 77-82 郑黎晓*, 常青玲, 一种利用模式信息的XPath测试集约简方法，小型微型计算机系统，2014，35(12): 2670-2674. 郑黎晓*, 常青玲, 徐世廷, 视图确定性问题及其研究进展计算机工程与应用，2014，50（14）：121-126 冯晓强, 郑黎晓, 陈海明*. 一类受限正则表达式的推断算法. 计算机科学, 2014, 41(4): 178-183. Wenfei Fan，Floris Geerts，Lixiao Zheng* ，View determinacy for preserving selected information in data transformations，Information Systems，2012，37(1):1-12 （SCI收录） Lixiao Zheng, Haiming Chen, Determinacy and Rewriting of Conjunctive Queries over Unary Database Schemas, In: Proceedings of the 26th ACM Symposium on Appied Computing (SAC), pp.1044-1049, Taichung, Taiwan, 2011.3.21-3.25 （EI收录）郑黎晓，许智武，陈海明*，基于文法分支覆盖的短句子生成算法，软件学报，2011，22（11）：2564-2576（EI收录） Zhiwu Xu, Lixiao Zheng, Haiming Chen*, A Toolkit for Generating Sentences from Context-free Grammars, International Journal of Software and Informatics, 2011, 5(4) : 659-676 Zhiwu Xu, Lixiao Zheng, Haiming Chen, A Toolkit for Generating Sentences from Context-Free Grammars, In: Proceedings of the 8th IEEE International Conference on Software Engineering and Formal Methods (SEFM), pp. 659-676, Pisa, Italy, 2010. 9.13-9.18（EI收录） Lixiao Zheng, Duanyi Wu, A Sentence Generation Algorithm for Testing Grammars, In: Proceedings of the 33rd Annual IEEE International Computer Software and Applications Conference (COMPSAC), pp.130-135, Seattle, Washington, USA, 2009.7.20-7.25（EI收录） Lixiao Zheng, Haiming Chen, A Systematic Framework for Grammar Testing, In: Proceedings of the 8th IEEE International Conference on Computer and Information Science (ACIS-ICIS), pp.1013-1019, Shanghai, China, 2009.6.1-6.3 （EI收录）