Search Results - "Yi, Gaolei"
-
1
Exploring the Capability of ChatGPT in Test Generation
Published in 2023 IEEE 23rd International Conference on Software Quality, Reliability, and Security Companion (QRS-C) (22-10-2023)“…The design of test is a crucial step in the field of software testing. The quality of test significantly impacts the effectiveness of software testing, with…”
Get full text
Conference Proceeding -
2
A Framework for Scanning Privacy Information based on Static Analysis
Published in 2022 IEEE 22nd International Conference on Software Quality, Reliability and Security (QRS) (01-12-2022)“…Modern software brings many conveniences to users through big data, but it also risks privacy leakage. In recent years, privacy leaks have been frequent, and…”
Get full text
Conference Proceeding -
3
Automated Functional Testing of Search Engines using Metamorphic Testing
Published in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) (01-12-2021)“…Search engine refers to a system that collectsinformation on the Internet according to a certain strategy and provides users with search services. Faced with a…”
Get full text
Conference Proceeding -
4
An Empirical Study of Flight Control System Model Checking Integrated with FMEA
Published in 2020 IEEE 20th International Conference on Software Quality, Reliability and Security Companion (QRS-C) (01-12-2020)“…Cyber-Physical Systems (CPS) is a multidimensional complex system that integrates computing, network and physical environment. Flight control system enables…”
Get full text
Conference Proceeding -
5
An Empirical Study of Counterexample-Guided Fuzzing for Neural Networks Verification
Published in 2020 7th International Conference on Dependable Systems and Their Applications (DSA) (01-11-2020)“…The uncertainty of intelligence software makes it impossible for even developers to determine the output corresponding to each input. Therefore, it is…”
Get full text
Conference Proceeding -
6
A Coverage-Guided Fuzzing Framework based on Genetic Algorithm for Neural Networks
Published in 2021 8th International Conference on Dependable Systems and Their Applications (DSA) (01-08-2021)“…Due to the inherent difference between neural network and traditional software, it is very difficult to test it. At present, the use of fuzzing methods may be…”
Get full text
Conference Proceeding -
7
Research on generation algorithm of SOA-oriented integration test order
Published in 2021 IEEE 21st International Conference on Software Quality, Reliability and Security Companion (QRS-C) (01-12-2021)“…The generation of integration test order is an important issue in the research of software integration testing. A reasonable test order can improve the…”
Get full text
Conference Proceeding