Yichen Wang
Beihang University
7 Papers
15 Citations
Yichen Wang is an academic researcher from Beihang University. The author has contributed to research in topics: Software & Model checking. The author has an hindex of 2, co-authored 7 publications.
Chat about Author
Papers
Embedded Software Fault Prediction Based on Back Propagation Neural Network
Pengyang Zong,Yichen Wang,Feng Xie +2 more
- 16 Jul 2018
TL;DR: A back propagation neural network with simple structure but good performance is built and applied to two practical embedded software projects and verification results show that the model has good ability to predict software faults.
7
What Software Quality Characteristics Most Concern Safety-Critical Domains?
Fuqun Huang,Yichen Wang,Wang Yikun,Pengyang Zong +3 more
- 16 Jul 2018
TL;DR: A survey is designed to prioritize the goals and software quality characteristics in safety-critical domains and the results provide guidance on better allocating resources to software quality assessment inSafety- critical domains.
4
Use Neural Network to Improve Fault Injection Testing
Yichen Wang,Yikun Wang +1 more
- 01 Jul 2017
TL;DR: In this method, the value of fitness function is used as the criteria in simulated annealing algorithm to generate test data and it is shown that this method can improve the efficiency of generating test data obviously.
4
An Empirical Study of Flight Control System Model Checking Integrated with FMEA
Xinyi Wang,Gaolei Yi,Yichen Wang +2 more
- 01 Dec 2020
TL;DR: In this article, the authors focus on the process of establishing specifications using Failure mode and effect analysis (FMEA) and then use their improved method to do the requirement level model checking about the return process and collision prevention based on PX4 flight control system.
3
An Empirical Study of Counterexample-Guided Fuzzing for Neural Networks Verification
Gaolei Yi,Xinyi Wang,Yichen Wang +2 more
- 01 Nov 2020
TL;DR: In this paper, a counterexample-guided fuzzing method is proposed to find more countserexamples in a limited number of samples and improve the ability to uncover mistakes.
2