activity
20242026
most citedIncorporating Verification Standards for Security Requirements Generation from Functional Specifications

5 citations · 9 across the 22 of their papers we have counts for

collaborators
Showing 2024Show all

5 papers · 1 filter

cs.SE2024★ 2 cited

AutoPLC: Generating Vendor-Aware Structured Text for Programmable Logic Controllers

Donghao Yang, Aolang Wu, Tianyi Zhang +6

Among the programming languages for Programmable Logic Controllers (PLCs), Structured Text (ST) is widely adopted for industrial automation due to its expressiveness and flexibilit…

cs.CY2024

FastFixer: An Efficient and Effective Approach for Repairing Programming Assignments

Fang Liu, Zhenwei Liu, Qianhui Zhao +6

Providing personalized and timely feedback for student's programming assignments is useful for programming education. Automated program repair (APR) techniques have been used to fi…

cs.SE2024

Enhancing Automated Program Repair with Solution Design

Jiuang Zhao, Donghao Yang, Li Zhang +3

Automatic Program Repair (APR) endeavors to autonomously rectify issues within specific projects, which generally encompasses three categories of tasks: bug resolution, new feature…

cs.SE2024★ 2 cited

Uncovering Weaknesses in Neural Code Generation

Xiaoli Lian, Shuaisong Wang, Jieping Ma +5

Code generation, the task of producing source code from prompts, has seen significant advancements with the advent of pre-trained large language models (PLMs). Despite these achiev…

cs.SE2024

Challenges of Using Pre-trained Models: the Practitioners' Perspective

Xin Tan, Taichuan Li, Ruohe Chen +2

The challenges associated with using pre-trained models (PTMs) have not been specifically investigated, which hampers their effective utilization. To address this knowledge gap, we…