Results 81 to 90 of about 116 (111)

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

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 0002, Joonun Jang, Choongwoo Han, Sang Kil Cha   +3 more
openaire   +1 more source

Type-aware concolic testing of JavaScript programs

Proceedings of the 38th International Conference on Software Engineering, 2016
Conventional concolic testing has been used to provide high coverage of paths in statically typed languages. While it has also been applied in the context of JavaScript (JS) programs, we observe that applying concolic testing to dynamically-typed JS programs involves tackling unique problems to ensure scalability.
Monika Dhok, Murali Krishna Ramanathan, Nishant Sinha 0001   +2 more
openaire   +1 more source

Automatically generating search heuristics for concolic testing

Proceedings of the 40th International Conference on Software Engineering, 2018
We present a technique to automatically generate search heuristics for concolic testing. A key challenge in concolic testing is how to effectively explore the program's execution paths to achieve high code coverage in a limited time budget. Concolic testing employs a search heuristic to address this challenge, which favors exploring particular types of
Sooyoung Cha, Seongjoon Hong, Junhee Lee, Hakjoo Oh   +3 more
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

Concolic testing with static analysis for JavaScript applications

Proceedings of the companion publication of the 13th international conference on Modularity, 2014
JavaScript has given a great deal of impacts on the software industry. However, developers test JavaScript applications only with manually constructed test cases, which makes it difficult and time-consuming to obtain reasonable test coverage. Because of the loosely-typed and extremely dynamic features of JavaScript, generating nontrivial test inputs of
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

FUZZOLIC: Mixing fuzzing and concolic execution

Computers and Security, 2021
Luca Borzacchiello, Emilio Coppa, Camil Demetrescu   +2 more
exaly  

SymEx-VP: An open source virtual prototype for OS-agnostic concolic testing of IoT firmware

Journal of Systems Architecture, 2022
Soren Tempel, Vladimir Herdt, Rolf Drechsler   +2 more
exaly  

GuideSE: Annotations for Guiding Concolic Testing

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