Results 31 to 40 of about 99 (87)

Exploring the Interaction of Code Coverage and Non‐Coverage Objectives in Search‐Based Test Generation

Software Testing, Verification and Reliability, Volume 35, Issue 6-7, September‐November 2025.
We assess five hypotheses about the interaction of structural coverage‐based and tester goal‐based objectives in search‐based test generation, focusing on coverage, goal attainment, fault detection, test suite size, test case length and the impact of search budget.
Afonso Fontes, Gregory Gay, Robert Feldt
wiley   +1 more source

Discover deeper bugs with dynamic symbolic execution and coverage‐based fuzz testing

IET Software, Volume 12, Issue 6, Page 507-519, December 2018., 2018
Coverage‐based fuzz testing and dynamic symbolic execution are both popular program testing techniques. However, on their own, both techniques suffer from scalability problems when considering the complexity of modern software. Hybrid testing methods attempt to mitigate these problems by leveraging dynamic symbolic execution to assist fuzz testing ...
Bin Zhang, Chao Feng, Adrian Herrera, Vitaly Chipounov, George Candea, Chaojing Tang   +5 more
wiley   +1 more source

A Unified Framework for Automated Testing of Robotic Process Automation Workflows Using Symbolic and Concolic Analysis

Machines
Robotic Process Automation is a technology that replicates human interactions with user interfaces across various applications. However, testing Robotic Process Automation implementations remains challenging due to the dynamic nature of workflows.
Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu   +2 more
doaj   +1 more source

Agentic Concolic Execution

2026 IEEE Symposium on Security and Privacy (SP)
Concolic execution is a practical test generation technique that explores execution paths by coupling concrete execution with symbolic reasoning. It runs programs on given inputs while capturing symbolic path representations, then mutates and solves these constraints to generate new test inputs for alternative paths.
Luo, Zhengxiong, Zhao, Huan, Dylan, Wolff, Cadar, Cristian, Abhik, Roychoudhury   +4 more
openaire   +2 more sources

The progress, challenges, and perspectives of directed greybox fuzzing

Software Testing, Verification and Reliability, Volume 34, Issue 2, March 2024.
Based on the investigation of 42 state‐of‐the‐art fuzzers that are closely related to directed greybox fuzzing (DGF), we conduct the first in‐depth study to summarize the empirical evidence on the research progress of DGF. By analyzing the benefits and limitations of DGF research, we try to identify gaps in current research.
Pengfei Wang, Xu Zhou, Tai Yue, Peihong Lin, Yingying Liu, Kai Lu   +5 more
wiley   +1 more source

How test suites impact fault localisation starting from the size

IET Software, Volume 12, Issue 3, Page 190-205, June 2018., 2018
Although a test suite is indispensable for conducting effective fault localisation, not much work has been done to study how the test suite impacts fault localisation. This study presents a systematic study for a deeper understanding of their relation.
Yan Lei, Chengnian Sun, Xiaoguang Mao, Zhendong Su   +3 more
wiley   +1 more source

CAFA: A Checksum‐Aware Fuzzing Assistant Tool for Coverage Improvement

Security and Communication Networks, Volume 2018, Issue 1, 2018., 2018
Fuzzing is an effective technique to discover vulnerabilities that involves testing applications by constructing invalid input data. However, for applications with checksum mechanism, fuzzing can only achieve low coverage because samples generated by the fuzzer are possibly incapable of passing the checksum verification.
Xiaolong Liu, Qiang Wei, Qingxian Wang, Zheng Zhao, Zhongxu Yin, Emanuele Maiorana   +5 more
wiley   +1 more source

LLM-Based Unknown Function Automated Modeling in Sensor-Driven Systems for Multi-Language Software Security Verification

Sensors
The rapid expansion of the Internet of Things (IoT) has made software security and reliability a critical concern. With multi-language programs running on edge computing, embedded systems, and sensors, each connected device represents a potential attack ...
Liangjun Deng, Qi Zhong, Jingcheng Song, Hang Lei, Wenjuan Li   +4 more
doaj   +1 more source

Behaviour Preservation across Code Versions in Erlang

Scientific Programming, Volume 2018, Issue 1, 2018., 2018
In any alive and nontrivial program, the source code naturally evolves along the lifecycle for many reasons such as the implementation of new functionality, the optimization of a bottleneck, or the refactoring of an obscure function. Frequently, these code changes affect various different functions and modules, so it can be difficult to know whether ...
David Insa, Sergio Pérez, Josep Silva, Salvador Tamarit, Can Özturan   +4 more
wiley   +1 more source

RTL functional test generation using factored concolic execution [PDF]

2017 IEEE International Test Conference (ITC), 2017
In this paper, we present CORT, a factored concolic execution based methodology for high-level functional test generation. Our test generation effort is visualized as the systematic unraveling of the control-flow response of the design over multiple explorations.
Sonal Pinto, Michael S. Hsiao
openaire   +2 more sources