Results 71 to 80 of about 99 (87)

A Practical Concolic Execution Technique for Large Scale Software Systems

Proceedings of the Evaluation and Assessment in Software Engineering, 2020
The state explosion problem faced by concolic execution is significantly serious when detecting program bugs especially in large scale software systems. To mitigate the issue, we propose a practical concolic execution approach to detect vulnerabilities in this paper.
Hongliang Liang, Wenqing Yu, Lu Ai, Lin Jiang 0002   +3 more
openaire   +1 more source

Perspectives on White-Box Testing: Coverage, Concurrency, and Concolic Execution

2015 IEEE 8th International Conference on Software Testing, Verification and Validation (ICST), 2015
The last years have seen a fruitful exchange of ideas between automated software verification and white-box software testing; the industrial impact of concolic testing for sequential software is the most notable result of this interdisciplinary effort.
Azadeh Farzan, Andreas Holzer, Helmut Veith   +2 more
openaire   +2 more sources

Concolic Execution Tailored for Hybrid Fuzzing.

2021
Recently, hybrid fuzzing, which combines fuzzing and concolic execution, has been highlighted to overcome limitations of both techniques. Despite its success in contrived programs such as DARPA Cyber Grand Challenge (CGC), it still falls short in finding bugs in real-world software due to its low performance of existing concolic executors.
openaire   +1 more source

Effective Test Case Generation via Concolic Execution

2012
A concolic execution based testing framework is proposed to generate tests for real-life applications. Concolic execution is a hybrid software analysis technique which combines concrete execution with symbolic execution. It makes some tradeoff between pure static analysis and dynamic analysis.
Yan Hu, He Jiang
openaire   +1 more source

Dr.PathFinder: Hybrid Fuzzing With Deep Reinforcement Concolic Execution Toward Deeper Path-First Search

Neural Computing and Applications, 2022
Jongsub Moon, Seungho Jeon
exaly  

Poster: Combining Fuzzing with Concolic Execution for IoT Firmware Testing

Proceedings of the 2023 ACM SIGSAC Conference on Computer and Communications Security, 2023
Jihyeon Yu, Juhwan Kim, Yeohoon Yun, Joobeom Yun   +3 more
openaire   +2 more sources

Performing binary fuzzing using concolic execution

2015
In this thesis, I designed and implemented Confuzzer, a system that fuzzes certain classes of closed source binaries using Concolic Execution techniques in order to find vulnerable inputs into programs that could be leveraged by attackers to compromise systems that the binary might be running on. The design of this system allows improved performance on
openaire   +1 more source

The Dart, the Psyco, and the Doop

Software Engineering Notes: an Informal Newsletter of the Special Interest Committee on Software Engineering / ACM, 2015
Malte Isberner, Falk Howar, Dimitra Giannakopoulou   +2 more
exaly  

CUTE and jCUTE: Concolic Unit Testing and Explicit Path Model-Checking Tools

Lecture Notes in Computer Science, 2006
Gul Agha, Koushik Sen
exaly  

Dynamic concolic execution of an application

2014
KALMAN DANIEL, SHARABANI ADI, TRIPP OMER
openaire   +2 more sources