Announcement_20251209
Our paper “HapCheck: DSL-Based Static Bug Detection Framework for OpenHarmony” has been accepted by ICSE SEIP Track! Congratulations to Xitong and the team! 
Our paper “HapCheck: DSL-Based Static Bug Detection Framework for OpenHarmony” has been accepted by ICSE SEIP Track! Congratulations to Xitong and the team!