logo
科言猫学术研究的AI总结
language
手机端手机端
  • Phone Feature微信小程序
简体中文简体中文
notice消息通知
博客博客
delete
arrow
返回
W

Weikai Miao

east china normal university

10H指数
52论文数
364被引数
收录论文 5
发表时间
logo
SageJavon: A scalable AI tutor for personalized programming learning
errInformation Processing & Management
IF6.9
err2026-02-03
err0
PREAI
errHanyu Zhao; Yuzhuo Wu; Zhufeng Lu; Xiaohua Yu; Weikai Miao; Liangyu Chen
err分享
err收藏
A formal specification animation method for operation validation
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-08-01
err3
PREAI
errLiu, Shaoying; Miao, Weikai
err分享
err收藏
A Survey on Data-Flow Testing数据流测试综述
errACM COMPUTING SURVEYS
IF28
err2017-03-10
err70
PREAI
errSu, Ting; Wu, Ke; Miao, Weikai; Pu, Geguang; He, Jifeng; Chen, Yuting; Su, Zhendong
err分享
err收藏
Automated coverage-driven testing: combining symbolic execution and model checking自动化覆盖驱动测试: 结合符号执行和模型检查
errSCIENCE CHINA-INFORMATION SCIENCES
IF7.6
err2016-08-23
err4
PREAI
errSu, Ting; Pu, Geguang; Miao, Weikai; He, Jifeng; Su, Zhendong
err分享
err收藏
A Formal Engineering Framework for Service-Based Software Modeling
errIEEE TRANSACTIONS ON SERVICES COMPUTING
IF5.8
err2013-10-01
err10
PREAI
errMiao, Weikai; Liu, Shaoying
err分享
err收藏

研究方向

暂时未获取到该数据
合作学者
合作期刊
K
Ke Wu
H 指数: 99 · 论文数: 1.9K
Z
Zhendong Su
H 指数: 65 · 论文数: 275
T
Ting Su
H 指数: 26 · 论文数: 88
G
Geguang Pu
H 指数: 25 · 论文数: 221
S
Shaoying Liu
H 指数: 23 · 论文数: 298
查看更多