collaborators

7 papers

math.PR2026

Spiking Neural Networks with Elephant Reinforcement

Fernando A. Najman, Ioannis Papageorgiou, Sabricia K. Cauanny A. da Silveirau +1

We introduce a finite stochastic spiking-neuron network with Elephant-type memory, in which past firing activity modifies future excitability through a reinforcement-dependent thre…

cs.SE2026

MASFuzzer: Fuzz Driver Generation and Adaptive Scheduling via Multidimensional API Sequences

Xingyu Liu, Zengqin Huang, Xiang Gao +1

Fuzz testing of software libraries relies on fuzz drivers to invoke library APIs. Traditionally, these drivers are written manually by developers - a process that is time-consuming…

cs.SE2025

Type-aware LLM-based Regression Test Generation for Python Programs

Runlin Liu, Zhe Zhang, Yunge Hu +3

Automated regression test generation has been extensively explored, yet generating high-quality tests for Python programs remains particularly challenging. Because of the Python's…

cs.LG2025

NeMo: A Neuron-Level Modularizing-While-Training Approach for Decomposing DNN Models

Xiaohan Bi, Binhang Qi, Hailong Sun +3

With the growing incorporation of deep neural network (DNN) models into modern software systems, the prohibitive construction costs have become a significant challenge. Model reuse…

cs.SE2025

Context-Enhanced Vulnerability Detection Based on Large Language Model

Yixin Yang, Bowen Xu, Xiang Gao +1

Vulnerability detection is a critical aspect of software security. Accurate detection is essential to prevent potential security breaches and protect software systems from maliciou…

cs.SE2025

Agent That Debugs: Dynamic State-Guided Vulnerability Repair

Zhengyao Liu, Yunlong Ma, Jingxuan Xu +4

In recent years, more vulnerabilities have been discovered every day, while manual vulnerability repair requires specialized knowledge and is time-consuming. As a result, many dete…