Results 51 to 60 of about 99 (87)

RiverConc: An Open-source Concolic Execution Engine for x86 Binaries

Proceedings of the 15th International Conference on Software Technologies, 2020
Ciprian Paduraru, Bogdan Ghimis, Alin Stefanescu   +2 more
openaire   +2 more sources

Search-Based Concolic Execution for SW Vulnerability Discovery

IEICE Transactions on Information and Systems, 2018
Rustamov Fayozbek, Minjun Choi, Joobeom Yun   +2 more
openaire   +3 more sources

Some of the next articles are maybe not open access.

Related searches:

FUZZOLIC: Mixing Fuzzing and Concolic Execution

Computers and Security, 2021
Abstract In the last few years, a large variety of approaches and methodologies have been explored in the context of software testing, ranging from black-box techniques, such as fuzzing, to white-box techniques, such as concolic execution, with a full spectrum of instances in between.
Camil Demetrescu, Emilio Coppa, Luca Borzacchiello   +2 more
exaly   +4 more sources

Cloud-Based Parallel Concolic Execution

2017 IEEE 24th International Conference on Software Analysis, Evolution and Reengineering (SANER), 2017
Path explosion is one of the biggest challenges hindering the wide application of concolic execution. Although several parallel approaches have been proposed to accelerate concolic execution, they neither scale well nor properly handle resource fluctuations and node failures, which often happen in practice.
Xiaodong Lin, Xiapu Luo, Youzheng Feng
exaly   +2 more sources

Test Generation for Embedded Executables via Concolic Execution in a Real Environment

IEEE Transactions on Reliability, 2015
Traditional software testing methods are not effective for testing embedded software thoroughly due to the fact that generating effective test inputs to cover all code is extremely difficult. In this work, we propose an automatic method to generate test inputs for embedded executables which is based on concolic execution. The core idea of our method is
Ting Chen
exaly   +3 more sources

RELEASE: Generating Exploits Using Loop-Aware Concolic Execution

2011 Fifth International Conference on Secure Software Integration and Reliability Improvement, 2011
Automatically finding vulnerabilities and even generating exploits are desirable for software testing. For the protection of intellectual property and copyright, programs being tested may be lack of source code and symbol table information. Concolic execution is a novel technique, which takes advantage of the rapid executing speed of concrete execution
Shiuhpyng Shieh
exaly   +2 more sources

Concolic Execution on Small-Size Binaries: Challenges and Empirical Study

2017 47th Annual IEEE/IFIP International Conference on Dependable Systems and Networks (DSN), 2017
Concolic execution has achieved great success in many binary analysis tasks. However, it is still not a primary option for industrial usage. A well-known reason is that concolic execution cannot scale up to large-size programs. Many research efforts have focused on improving its scalability.
Michael R. Lyu, Yangfan Zhou, Hui Xu
exaly   +2 more sources

Backsolver: Adapting Preceding Execution Paths to Solve Constraints for Concolic Execution

ACM Transactions on Software Engineering and Methodology
Concolic execution follows the execution paths of concrete inputs, capable of generating new inputs for unexplored code by solving negated path constraints. However, implicit flows can hinder concolic execution, reducing the code coverage. Implicit flows occur when inputs influence control flow, and the control flow variation affects the values of some
Hongsong Zhu
exaly   +2 more sources

Optimizing Decision Making in Concolic Execution Using Reinforcement Learning

2020 IEEE International Conference on Software Testing, Verification and Validation Workshops (ICSTW), 2020
This paper presents an improvement to a new opensource testing tool capable of performing concolic execution on x86 binaries. The novelty is to use a reinforcement learning solution that reduces the number of symbolically executed states. It does so by learning a set of models that predict how efficiently it would be to change the conditions at various
Paduraru Ciprian, Alin Stefanescu, Miruna Paduraru   +2 more
exaly   +3 more sources

Concolic Execution for RPA Testing

2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), 2023
Paduraru Ciprian
exaly   +3 more sources