殷永峰｜北京航空航天大学｜学者主页

2026

面向飞行数据细粒度无人机异常检测的动态趋势感知（英文）

殷圆圆，殷永峰，韦岳岑，宿庆冉，李家辉

Frontiers of Information Technology & Electronic Engineering

2026

Dynamic Trend Perception for Fine-Grained Unmanned Aerial Vehicle Anomaly Detection in Flight Data

Yuanyuan Yin, Yongfeng Yin, Yuecen Wei, Qingran Su, Jiahui Li

ENGINEERING Information Technology & Electronic Engineering

DOI

2026

MSGMamba: A Multi-Scale Dynamic Graph State-Space Model for Satellite Telemetry Anomaly Detection

Bing Fu, Jia-hua Xie, Qingran Su, Xu-Lang Ouyang, Wei Lin, Xing-Yu Long, Yongfeng Yin

Remote Sensing

DOI

2026

Scenic Test Scenario Generation and Repair for Autonomous Driving via Semantic Feedback and Knowledge Augmentation

Xueqi Li, Qingran Su, Xingze Li, Yongfeng Yin

DOI

2026

LeF‐MTP: Prioritizing GNN Test Cases by Fusing Model Uncertainty and Feature‐Space Confusability

Qingran Su, Xingze Li, Yuming Ren, Bing Fu, Chunming Hu, Yongfeng Yin

Computational Intelligence

DOI

2026

Dataset-Aware Prompting for Requirements-to-Code Traceability Link Recovery

Xingyu Long, Yongfeng Yin

International Conference on Computer Science and Blockchain (CCSB)

DOI

2026

IntelliFactory: Intelligent Software Factory for Embedded System Generation

Yilong Yang, Daijin HU, Hongyue Pan, Yongfeng Yin, Nan Wang, Sheng Cheng, Jie Luo, Dianfu Ma, Ruoxi Guan, Gan Wang

INCOSE International Symposium

DOI

2025

AF-TAD: Transformer-Based Anomaly Detection for Aircraft Fuel Systems

Xulang Ouyang, Yanqiang Zhang, Lu Hua, Yongfeng Yin

Aerospace

DOI

2025

Thinking Like an Expert: Aligning LLM Thought Processes for Automated Safety Modeling of High-Altitude Solar Drones

Qingran Su, Xing Li, Yuming Ren, Bing Fu, Chunming Hu, Yongfeng Yin

Drones

DOI

2025

Attention Transfer Reinforcement Learning for Test Case Prioritization in Continuous Integration

Qingran Su, Xing Li, Yuming Ren, Ruinan Qiu, Chunming Hu, Yongfeng Yin

Applied Sciences

DOI

2025

Func-Bagging: An Ensemble Learning Strategy for Improving the Performance of Heterogeneous Anomaly Detection Models

Ruinan Qiu, Yongfeng Yin, Qingran Su, Tianyi Guan

Applied Sciences

DOI

2025

Cross-Standard Code Defect Identification and AST-Based Template-Driven Automated Repair Methods

Tianyi Guan, Yongfeng Yin, Qingran Su, Ruinan Qiu

Lecture notes in electrical engineering

DOI

2024

State Diagram Extension and Test Case Generation Based on Large Language Models for Improving Test Engineers’ Efficiency in Safety Testing

Qingran Su, Xing Li, Yuming Ren, Xulang Ouyang, Chunming Hu, Yongfeng Yin

IEEE International Symposium on Software Reliability Engineering Workshops (ISSREW)

DOI

2023

An Anomaly Detection Algorithm of QAR Based on Spatial-Temporal Correlation

Ruinan Qiu, Yongfeng Yin, Qingran Su, Tianyi Guan

International Conference on Cyber-Physical Social Intelligence (ICCSI)

DOI

2023

RM2MS: A Tool for Automatic Identification of Microservices from Requirements Models

Yang Li, Yang Zhang, Yilong Yang, Weiru Wang, Yongfeng Yin

ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

DOI

2023

RapidMS: A Tool for Supporting Rapid Microservices Generation and Refinement from Requirements Model

Yang Zhang, Yang Li, Yilong Yang, Shuang Chen, Juntao Gao, Weiru Wang, Yongfeng Yin

ACM/IEEE International Conference on Model Driven Engineering Languages and Systems Companion (MODELS-C)

DOI

2023

Research on Drone Fault Detection Based on Failure Mode Databases

Defei Hou, Qingran Su, Yi Song, Yongfeng Yin

Drones

DOI

2023

DeepOCL: A deep neural network for Object Constraint Language generation from unrestricted nature language

Yilong Yang, Yibo Liu, Tianshu Bao, Weiru Wang, Nan Niu, Yongfeng Yin

CAAI Transactions on Intelligence Technology

DOI

2022

RM2Doc

Tianshu Bao, Jing Yang, Yilong Yang, Yongfeng Yin

ACM/IEEE International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI

2022

RM2Doc: A Tool for Automatic Generation of Requirements Documents from Requirements Models

Tianshu Bao, Jing Yang, Yilong Yang, Yongfeng Yin

IEEE/ACM International Conference on Software Engineering: Companion Proceedings (ICSE-Companion)

DOI

2021

航空装备软件安全性技术

殷永峰

《航空工业出版社》

2021

Intelligent radar software defect classification approach based on the latent Dirichlet allocation topic model

Xi Liu, Yongfeng Yin, Haifeng Li, Jiabin Chen, Chang Liu, Shengli Wang, Rui Yin

EURASIP Journal on Advances in Signal Processing

DOI

2020

Software Refactoring Scheme Based on NSGA-II Algorithm

Defei Hou, Yongfeng Yin, Qingran Su, Lijun Liu

International Conference on Dependable Systems and Their Applications (DSA)

DOI

2020

On Test Sequcence Generation of Time-Triggered Ethernet Using Genetic Algorithm

Yongfeng Yin, Xuefeng Wang, Qingran Su

International Conference on Dependable Systems and Their Applications (DSA)

DOI

2020

CUDAsmith: A Fuzzer for CUDA Compilers

Bo Jiang, Xiaoyan Wang, W. K. Chan, T.H. Tse, Na Li, Yongfeng Yin, Zhenyu Zhang

IEEE Annual Computers, Software, and Applications Conference (COMPSAC)

DOI

2020

Software smell detection based on machine learning and its empirical study

Yongfeng Yin, Qingran Su, Lijun Liu

DOI

2018

Optimization of robustness of interdependent network controllability by redundant design

Zenghu Zhang, Yongfeng Yin, Xin Zhang, Lijun Liu

PLoS ONE

DOI

2017

Adaptive Testing Based on Moment Estimation

Peng Xiao, Yongfeng Yin, Bin Liu, Bo Jiang, Yashwant K. Malaiya

IEEE Transactions on Systems Man and Cybernetics Systems

DOI

2016

Redundant Design in Interdependent Networks

Lijun Liu, Yongfeng Yin, Zenghu Zhang, Yashwant K. Malaiya

PLoS ONE

DOI

2016

Cascading failure of interdependent networks with traffic: Using a redundancy design to protect influential nodes

Lijun Liu, Yongfeng Yin, Zenghu Zhang

International Conference on Reliability, Maintainability and Safety

DOI

2015

Software reliability analysis considering correlated component failures with coupling measurement framework

Xiaodan Li, Yongfeng Yin, Lance Fiondella, Yibin Zhou

Journal Of Systems Engineering And Electronics，Vol. 26, No. 5

DOI

2015

基于程序变异的Simulink模型测试方法

周艺斌，殷永峰，李骁丹，王明威

《北京航空航天大学学报》

2015

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

许玉堂，殷永峰，孙静，张弛，刘斌

《兵工学报》

2015

Reliability and Performance Analysis of Architecture-Based Software Implementing Restarts and Retries Subject to Correlated Component Failures

Xiaodan Li, Yongfeng Yin, Lance Fiondella

International Journal of Software Engineering and Knowledge Engineering

DOI

2014

基于实验的自适应随机测试效率分析

殷永峰，肖鹏，张弛，刘斌

《北京航空航天大学学报》

2014

A Unified Framework for Software Coupling Measurement

Xiaodan Li, Yongfeng Yin

Advances in intelligent systems research/Advances in Intelligent Systems Research

DOI

2013

综合模块化航电系统软件技术研究

李骁丹，殷永峰，张弛

《航空计算技术》

2013

A New Constructive Cost Model for Software Testing Project Management

Yunfeng Lu, Yongfeng Yin

Springer eBooks

DOI

2012

Real-time embedded software testing method based on extended finite state machine

Yongfeng Yin, Bin Liu, Hongying Ni

Journal Of Systems Engineering And Electronics，Vol. 230, No. 20

DOI

2012

基于划分软件安全Petri网的需求形式化验证

李震，刘斌，苗虹，殷永峰

《系统工程与电子技术》

2012

基于本体的软件安全性需求建模和验证

李震，刘斌，苗虹，殷永峰

《北京航空航天大学学报》

2012

基于扩展Petri网的除冰软件安全需求建模和验证

李震，刘斌，陆民燕，殷永峰

《北京航空航天大学学报》

2011

基于软件完整性级别的软件可靠性度量选取框架

李海峰，孟令中，陆民燕，殷永峰

《计算机科学》

2011

基于UML实时扩展的嵌入式软件测试用例生成技术

殷永峰，郑本焘，陆民燕，倪红英

《系统工程与电子技术》

2011

基于Petri网模型检验的安全关键软件需求验证

李震，刘斌，李小勋，殷永峰

《系统工程与电子技术》

2011

基于扩展Petri网的安全关键软件需求模型检验

李震，刘斌，殷永峰，李晓勋

《沈阳工业大学学报》

2011

基于虚拟机的嵌入式软件仿真测试环境

殷永峰，刘斌，王志

《沈阳工业大学学报》

2011

Software Reliability Metrics Selecting Method Considering Software Integrity Level

Yongfeng Yin

2011

Verification of safety-critical software requirement based on Petri-net model checking

Yongfeng Yin

Systems engineering and electronics

2010

基于改进Petri网的可信软件模型验证和测试研究

李震，刘斌，殷永峰，李晓勋

《计算机研究与发展》

2010

实时嵌入式软件测试执行引擎的设计与实现

殷永峰，刘斌，王晨

《北京航空航天大学学报》

2010

A survey on the formal testing techniques for real-time embedded software

Yongfeng Yin, Bin Liu, Hongying Ni

DOI

2010

Research on Formal Verification Technique for Aircraft Safety-Critical Software

Yongfeng Yin, Bin Liu, Duo Su

Journal of Computers

DOI

2010

Real-time Embedded Software Test Case Generation Based on Time-extended EFSM: A Case Study

Yongfeng Yin, Zhen Li, Bin Liu

WASE International Conference on Information Engineering

DOI

2009

On modeling approach for embedded real-time software simulation testing

Yin Yongfeng, Liu Bin, Zhong Deming, Jiang Tongmin

Journal Of Systems Engineering And Electronics，Vol. 200, No. 20

2009

业务模型在软件测试中的应用

王志，殷永峰

《测控技术》

2009

A Method of Test Case Automatic Generation for Embedded Software

Yongfeng Yin, Bin Liu

International Conference on Information Engineering and Computer Science

DOI

2009

Study on real-time test script in automated test equipment

Chongwu Jiang, Bin Liu, Yongfeng Yin, Chang Liu

International Conference on Reliability, Maintainability and Safety

DOI

2009

Formal testing applied in embedded software

Zhen Li, Bin Liu, Ning Ma, Yongfeng Yin

International Conference on Reliability, Maintainability and Safety

DOI

2009

On framework oriented embedded software testing development environment

Yongfeng Yin, Bin Liu, Guoliang Zhang

International Conference on Reliability, Maintainability and Safety

DOI

2008

基于场景技术的嵌入式软件测试用例生成方法

殷永峰，刘斌，姜同敏

《计算机工程与设计》

2008

嵌入式软件测试数据处理系统的研究

殷永峰，刘斌，姜同敏，张国良

《测控技术》

2007

Research on test requirement modeling for software-intensive avionics and the tool implementation

Meng Gao, Deming Zhong, Minyan Lu, Yongfeng Yin

IEEE/AIAA Digital Avionics Systems Conference (DASC)

DOI

2006

嵌入式软件仿真测试脚本语言的设计与实现

殷永峰，王轶辰，刘斌

《计算机工程与设计》

2004

航电设备软件系统测试过程研究

王轶辰，殷永峰，刘斌

《测控技术》

精选作品

期刊论文

面向飞行数据细粒度无人机异常检测的动态趋势感知（英文）

Dynamic Trend Perception for Fine-Grained Unmanned Aerial Vehicle Anomaly Detection in Flight Data

MSGMamba: A Multi-Scale Dynamic Graph State-Space Model for Satellite Telemetry Anomaly Detection

Scenic Test Scenario Generation and Repair for Autonomous Driving via Semantic Feedback and Knowledge Augmentation

LeF‐MTP: Prioritizing GNN Test Cases by Fusing Model Uncertainty and Feature‐Space Confusability

Dataset-Aware Prompting for Requirements-to-Code Traceability Link Recovery

IntelliFactory: Intelligent Software Factory for Embedded System Generation

AF-TAD: Transformer-Based Anomaly Detection for Aircraft Fuel Systems

Thinking Like an Expert: Aligning LLM Thought Processes for Automated Safety Modeling of High-Altitude Solar Drones

Attention Transfer Reinforcement Learning for Test Case Prioritization in Continuous Integration

Func-Bagging: An Ensemble Learning Strategy for Improving the Performance of Heterogeneous Anomaly Detection Models

Cross-Standard Code Defect Identification and AST-Based Template-Driven Automated Repair Methods

State Diagram Extension and Test Case Generation Based on Large Language Models for Improving Test Engineers’ Efficiency in Safety Testing

An Anomaly Detection Algorithm of QAR Based on Spatial-Temporal Correlation

RM2MS: A Tool for Automatic Identification of Microservices from Requirements Models

RapidMS: A Tool for Supporting Rapid Microservices Generation and Refinement from Requirements Model

Research on Drone Fault Detection Based on Failure Mode Databases

DeepOCL: A deep neural network for Object Constraint Language generation from unrestricted nature language

RM2Doc

RM2Doc: A Tool for Automatic Generation of Requirements Documents from Requirements Models

航空装备软件安全性技术

Intelligent radar software defect classification approach based on the latent Dirichlet allocation topic model

Software Refactoring Scheme Based on NSGA-II Algorithm

On Test Sequcence Generation of Time-Triggered Ethernet Using Genetic Algorithm

CUDAsmith: A Fuzzer for CUDA Compilers

Software smell detection based on machine learning and its empirical study

Optimization of robustness of interdependent network controllability by redundant design

Adaptive Testing Based on Moment Estimation

Redundant Design in Interdependent Networks

Cascading failure of interdependent networks with traffic: Using a redundancy design to protect influential nodes

Software reliability analysis considering correlated component failures with coupling measurement framework

基于程序变异的Simulink模型测试方法

基于时间扩展Petri网的实时嵌入式软件体系结构建模及可靠性评估

Reliability and Performance Analysis of Architecture-Based Software Implementing Restarts and Retries Subject to Correlated Component Failures

基于实验的自适应随机测试效率分析

A Unified Framework for Software Coupling Measurement

综合模块化航电系统软件技术研究

A New Constructive Cost Model for Software Testing Project Management

Real-time embedded software testing method based on extended finite state machine

基于划分软件安全Petri网的需求形式化验证

基于本体的软件安全性需求建模和验证

基于扩展Petri网的除冰软件安全需求建模和验证

基于软件完整性级别的软件可靠性度量选取框架

基于UML实时扩展的嵌入式软件测试用例生成技术

基于Petri网模型检验的安全关键软件需求验证

基于扩展Petri网的安全关键软件需求模型检验

基于虚拟机的嵌入式软件仿真测试环境

Software Reliability Metrics Selecting Method Considering Software Integrity Level

Verification of safety-critical software requirement based on Petri-net model checking

基于改进Petri网的可信软件模型验证和测试研究

实时嵌入式软件测试执行引擎的设计与实现

A survey on the formal testing techniques for real-time embedded software

Research on Formal Verification Technique for Aircraft Safety-Critical Software

Real-time Embedded Software Test Case Generation Based on Time-extended EFSM: A Case Study

On modeling approach for embedded real-time software simulation testing

业务模型在软件测试中的应用

A Method of Test Case Automatic Generation for Embedded Software

Study on real-time test script in automated test equipment

Formal testing applied in embedded software

On framework oriented embedded software testing development environment

基于场景技术的嵌入式软件测试用例生成方法

嵌入式软件测试数据处理系统的研究

Research on test requirement modeling for software-intensive avionics and the tool implementation

嵌入式软件仿真测试脚本语言的设计与实现

航电设备软件系统测试过程研究

研究方向