点击次数:
发布时间:2025-11-21
论文类型:期刊论文
论文编号:478096
发表时间:2025-01-19
发表刊物:SCIENCE CHINA-INFORMATION SCIENCES
卷号:68
期号:1
ISSN号:1674-733X
关键字:ALGORITHM; AUTOMATED REPAIR; CONTEXT-AWARE; FAULT LOCALIZATION; FORMAL VERIFICATION; NEURAL-NETWORK; PREDICTION; RECOMMENDATION; REQUIREMENTS; SPECIFICATIONS