logo
CanyamAI summaries for academic research
language
MobileMobile
  • Phone FeatureWeChat Mini Program
EnglishEnglish
noticeNotice
BlogBlog
delete
arrow
Back
W

Weikai Miao

east china normal university

10H-index
52Paper Count
364Citation Count
Published Papers 5
Publication Date
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
errShare
errSave
A formal specification animation method for operation validation
errJOURNAL OF SYSTEMS AND SOFTWARE
IF4.1
err2021-08-01
err3
PREAI
errLiu, Shaoying; Miao, Weikai
errShare
errSave
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
errShare
errSave
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
errShare
errSave
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
errShare
errSave

Research Directions

No research directions
Co-authors
Cooperation Journals
K
Ke Wu
H-index: 99 · Papers: 1.9K
Z
Zhendong Su
H-index: 65 · Papers: 275
T
Ting Su
H-index: 26 · Papers: 88
G
Geguang Pu
H-index: 25 · Papers: 221
S
Shaoying Liu
H-index: 23 · Papers: 298
View more