Results 91 to 100 of about 337 (131)

CUTE: A Concolic Unit Testing Engine for C

, 2005
In unit testing, a program is decomposed into units which are collections of functions. A part of unit can be tested by generating inputs for a single entry function.
Sen, Koushik, Marinov, Darko, Agha, Gul A.   +2 more
core  

HyperPUT: generating synthetic faulty programs to challenge bug-finding tools. [PDF]

Empir Softw Eng
Felici R, Pozzi L, Furia CA.
europepmc   +1 more source

Search-Based Concolic Execution for SW Vulnerability Discovery

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

Exposing Go Hidden Bugs: A Novel Concolic Framework

International audienceThe widespread adoption of the Go programming language in infrastructure backends and blockchain projects has heightened the need for improved security measures.
Gorna, Karolina, Seurin, Yannick, Iooss, Nicolas, Khatoun, Rida   +3 more
core  

Concolic Testing of Quantum Programs

This paper presents the first concolic testing framework specifically designed for quantum programs. The framework defines quantum conditional statements that quantify quantum states and presents a symbolization method for quantum variables.
Xia, Shangzhou, Guo, Xiaoyu, Zhang, Fuyuan, Zhao, Jianjun   +3 more
core  

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.
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu   +2 more
exaly   +5 more sources

Some of the next articles are maybe not open access.

Related searches:

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.
Xiapu Luo, Xiaodong Lin
exaly   +2 more sources