Abstract: Automated program repair (APR) is a key technique for enhancing software maintenance productivity by fixing buggy code automatically. Recently, large code language models (CLMs) have ...

Scanning a QR code to enter a mini program has almost become a part of our daily lives. Behind this convenience of technology lies a new way of connecting people with each other and with brands. This ...

While cord-cutting has definitely had a major impact on the number of households with cable TV, there are still plenty of folks enjoying their favorite channels with coaxial and a set-top box. Cable ...

Abstract: Verification of hardware design code is crucial for the quality assurance of hardware products. As an indispensable part of verification, localizing faults in the hardware design code is ...