黑盒变白盒：解码智能体
ATLAS: Discovering Agent Strategies through LLM-Guided Abstraction and Automata Learning
Large Language Model (LLM)-based agents are increasingly used for complex tasks such as software testing and cybersecurity assessment. While these agents demonstrate impressive cap
A Hybrid LLM-Based Framework for Automated Security Annotation Generation in Business Process Models
A Hybrid LLM-Based Framework for Automated Security Annotation Generation in Business Process Models
The modelling and analysis of secure business processes require the incorporation of security annotations into process models. Although BPMN extensions, including SecBPMN2, exist f
敲打旧代码：LLM改的对不对，得看它怕不怕砸
Validating LLM-Modernized Scientific Software Through Differential Fault Injection
Large language model (LLM) agents are increasingly used to modernize the legacy Fortran underlying production scientific software, but validation of these transformations emphasize