张健(1984-),男,硕士,主要研究领域为程序合成,机器人软件;李弋(1975-),男,博士,讲师,CCF专业会员,主要研究领域为机器人软件,程序分析,计算机系统架构;彭鑫(1979-),男,博士,教授,博士生导师,CCF杰出会员,主要研究领域为软件智能化开发,云原生与智能化运维,AI系统工程;赵文耘(1964-),男,教授,博士生导师,CCF高级会员,主要研究领域为软件工程.
李弋,E-mail:liy@fudan.edu.cn
上海市科委项目(19511132000)
张健,李弋,彭鑫,赵文耘.正反例归纳合成SQL查询程序.软件学报,2023,34(9):4132-4152
复制