Be sensitive and collaborative: Analyzing impact of coverage metrics in greybox fuzzing

J Wang, Y Duan, W Song, H Yin, C Song - … International Symposium on …, 2019 - usenix.org
Coverage-guided greybox fuzzing has become one of the most prevalent techniques for
finding software bugs. Coverage metric, which decides how a fuzzer selects new seeds, is …

Boosting operational dnn testing efficiency through conditioning

Z Li, X Ma, C Xu, C Cao, J Xu, J Lü - Proceedings of the 2019 27th ACM …, 2019 - dl.acm.org
With the increasing adoption of Deep Neural Network (DNN) models as integral parts of
software systems, efficient operational testing of DNNs is much in demand to ensure these …

Using machine learning to generate test oracles: A systematic literature review

A Fontes, G Gay - Proceedings of the 1st International Workshop on Test …, 2021 - dl.acm.org
Machine learning may enable the automated generation of test oracles. We have
characterized emerging research in this area through a systematic literature review …

A systematic literature review of how mutation testing supports quality assurance processes

Q Zhu, A Panichella, A Zaidman - Software Testing, Verification …, 2018 - Wiley Online Library
Mutation testing has been very actively investigated by researchers since the 1970s, and
remarkable advances have been achieved in its concepts, theory, technology, and empirical …

Automatic unit test generation for machine learning libraries: How far are we?

S Wang, N Shrestha, AK Subburaman… - 2021 IEEE/ACM …, 2021 - ieeexplore.ieee.org
Automatic unit test generation that explores the input space and produces effective test
cases for given programs have been studied for decades. Many unit test generation tools …

Choosing the fitness function for the job: Automated generation of test suites that detect real faults

A Salahirad, H Almulla, G Gay - Software Testing, Verification …, 2019 - Wiley Online Library
Search‐based unit test generation, if effective at fault detection, can lower the cost of testing.
Such techniques rely on fitness functions to guide the search. Ultimately, such functions …

Automatically generating test cases for safety-critical software via symbolic execution

E Kurian, D Briola, P Braione, G Denaro - Journal of Systems and Software, 2023 - Elsevier
Automated test generation based on symbolic execution can be beneficial for systematically
testing safety-critical software, to facilitate test engineers to pursue the strict testing …

STADS: Software testing as species discovery

M Böhme - ACM Transactions on Software Engineering and …, 2018 - dl.acm.org
A fundamental challenge of software testing is the statistically well-grounded extrapolation
from program behaviors observed during testing. For instance, a security researcher who …

Structural test data generation using a memetic ant colony optimization based on evolution strategies

H Sharifipour, M Shakeri, H Haghighi - Swarm and Evolutionary …, 2018 - Elsevier
Test data generation is one of the key activities that has a significant impact on the efficiency
and effectiveness of software testing. Since manual test data generation is quite inefficient …

Automated test case generation based on differential evolution with node branch archive

X Dai, W Gong, Q Gu - Computers & Industrial Engineering, 2021 - Elsevier
Automatic test case generation (ATCG) is the active research topic in software testing
engineering, which can greatly reduce the cost of software testing. In automated test case …