刘艾
硕士生导师
教师姓名:刘艾
教师拼音名称:Liu Ai
电子邮箱:
所在单位:计算机科学与技术学院/人工智能学院/软件学院
职务:Associate Professor
学历:博士毕业
性别:男
联系方式:shaoai@nuaa.edu.cn
学位:理学博士学位
职称:副教授
毕业院校:北京大学
所属院系:计算机科学与技术学院/软件学院
招生学科专业:
软件工程 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院
电子信息 -- 【招收硕士研究生】 -- 计算机科学与技术学院

暂无内容

TBFV4J: An Automated Testing-Based Formal Verification Tool for Java
发布时间:2025-04-15 点击次数:
发表刊物:accepted by ISSTA 2025 demo
论文类型:论文集
是否译文:否
合写作者:Yang Liu,Shaoying Liu
第一作者:Ai Liu