Results 111 to 120 of about 308 (122)

Grey-Box Concolic Testing on Binary Code

2019 IEEE/ACM 41st International Conference on Software Engineering (ICSE), 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-box fuzzing, a.k.a.
Jaeseung Choi, Joonun Jang, Choongwoo Han, Sang Kil Cha   +3 more
openaire   +1 more source

Concolic execution for RPA testing

2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), 2023
Ciprian Paduraru, Marina Cernat, Adelina-Nicoleta Staicu   +2 more
openaire   +1 more source

Target-Directed Concolic Testing

Chinese Journal of Computers, 2011
Zhan-Qi CUI, Lin-Zhang WANG, Xuan-Dong LI   +2 more
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

Concolic Test Generation and the Cloud

2012
Software testing in the cloud can reduce the need for hardware and software resources and offer a flexible and efficient alternative to the traditional software testing process. A major obstacle to the wider use of testing in the cloud is related to security issues.
openaire   +1 more source

Versatile Binary-Level Concolic Testing

2022
Bo Chen, Fei Xie
openaire   +1 more source

Concolic Testing of Functional Logic Programs

2018
In the last years, concolic testing, a technique combining concrete and symbolic execution for the automated generation of test cases, has gained increasing popularity. Concolic testing tools are initialized with expressions on concrete input data.
openaire   +1 more source

GuideSE: Annotations for Guiding Concolic Testing

2015 IEEE/ACM 10th International Workshop on Automation of Software Test, 2015
Koushik Sen, Haruto Tanno, Xiaojing Zhang, Takashi Hoshino   +3 more
openaire   +1 more source

An improved distributed concolic testing approach

Software: Practice and Experience, 2016
Sangharatna Godboley, Durga Prasad Mohapatra, Avijit Das, Rajib Mall   +3 more
openaire   +1 more source

COTIA: Concolic Testing with Intelligent Agent

2025 IEEE/ACM International Conference On Computer Aided Design (ICCAD)
Yan Tan, Xiangchen Meng, Yangdi Lyu
openaire   +1 more source