Date of Publication:2025-11-16
Journal:SCIENCE CHINA-INFORMATION SCIENCES
Volume:68
Issue:1
ISSN:1674-733X
Key Words:ALGORITHM; AUTOMATED REPAIR; CONTEXT-AWARE; FAULT LOCALIZATION; FORMAL VERIFICATION; NEURAL-NETWORK; PREDICTION; RECOMMENDATION; REQUIREMENTS; SPECIFICATIONS
