郑黎晓(1983-),女,博士,副教授,CCF专业会员,主要研究领域为软件测试,形式语言与自动机.;余李林(1997-),男,博士生,主要研究领域为软件工程,数据科学,自然语言处理;陈海明(1966-),男,博士,研究员,博士生导师,CCF高级会员,主要研究领域为软件设计方法和形式规约,程序语言;陈祖希(1981-),男,博士,讲师,CCF专业会员,主要研究领域为形式化方法;骆翔宇(1974-),男,博士,教授,CCF专业会员,主要研究领域为形式化方法,模型检测,时态逻辑,多智能体系统;汪小勇(1976-),男,博士,高级工程师,主要研究领域为交通运输系统信息与控制
骆翔宇, E-mail: luoxy@hqu.edu.cn
TP311
国家自然科学基金(61872339); 福建省自然科学基金(2021J01316, 2021J01320); 中央高校基本科研业务费专项资金(ZQN-1010); 厦门市自然科学基金(3502Z20227191); 上海市自然科学基金(22ZR1422200)
郑黎晓,余李林,陈海明,陈祖希,骆翔宇,汪小勇.基于变异的正则表达式反例测试串生成算法.软件学报,2024,35(7):3355-3376
复制