Indexed by:Journal Papers
Document Code:478096
Date of Publication:2025-01-19
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