Results 61 to 70 of about 337 (131)
Industrial application of concolic testing on embedded software: Case studies
, 2012 —Current industrial testing practices often build test cases in a manual manner, which is slow and ineffective. To alleviate this problem, concolic testing generates test cases that can achieve high coverage in an automated fashion.
Moonzoo Kim, Yoonkyu Jang, Yunho Kim
core +1 more source
CVDF DYNAMIC-A Dynamic Fuzzy Testing Sample Generation Framework Based on BI-LSTM and Genetic Algorithm. [PDF]
Sensors (Basel), 2022 Ma M, Han L, Qian Y.
europepmc +1 more source
Novel Approach to Improve Concolic Testing [PDF]
, 2015 Concolic Testing is the combination of symbolic as well as concrete execution. It considers program variables as symbolic variables along with concrete execution path. Branch Coverage belongs to white box testing. Its objective is to demonstrate that all
Sahani, Arun Kumar
core
Cybersecurity Testing for Automotive Domain: A Survey. [PDF]
Sensors (Basel), 2022 Luo F +6 more
europepmc +1 more source
A Methodology for Applying Concolic Testing
, 2016 Concolic testing is a technique that combines concrete and symbolic execution in order to generate inputs that explore different execution paths leading to better testing coverage.
Cherep Dragoevich, Manuel
core
Fuzzing through a concolic execution system in PIN
, 2015 Thesis: M. Eng., Massachusetts Institute of Technology, Department of Electrical Engineering and Computer Science, 2015.This electronic version was submitted by the student author.
Valdez, Steven (Steven D.)
core
Versatile Binary-level Concolic Testing
, 2019 Computing systems are experiencing an explosive growth, both in complexities and diversities, ushered in by the proliferation of cloud computing, mobile computing, and Internet of Things. This growth has also exposed the consequences of unsafe, insecure,
Chen, Bo
core +1 more source
Employing Run-time Static Analysis to Improve Concolic Execution. [PDF]
, 2017 Dynamic symbolic execution, or concolic execution, is a program testing technique that systematically executes a program with the aim of exploring all feasible program paths, and locating and reporting all errors encountered in these paths. However, as the complexity of the program grows, the number of program paths explodes, making it infeasible for ...
Vandercammen, Maarten, De Roover, Coen
openaire +1 more source
Zorya: Automated Concolic Execution of Single-Threaded Go Binaries
CoRRGo's adoption in critical infrastructure intensifies the need for systematic vulnerability detection, yet existing symbolic execution tools struggle with Go binaries due to runtime complexity and scalability challenges. In this work, we build upon Zorya, a concolic execution framework that translates Go binaries to Ghidra's P-Code intermediate ...
Karolina Gorna +3 more
openaire +2 more sources
Grey-Box Concolic Testing on Binary Code
, 2019 We present grey-box concolic testing, a novel path-based test case generation method that combines the best of both white-box and grey-box fuzzing. At a high level, our technique systematically explores execution paths of a program under test as in white-
Jaeseung Choi +7 more
core +1 more source