Results 101 to 110 of about 308 (122)

Automated Test Generation Using Concolic Testing

Proceedings of the 8th India Software Engineering Conference, 2015
In this talk, I will talk about the recent advances and challenges in concolic testing and symbolic execution. Concolic testing, also known as directed automated random testing (DART) or dynamic symbolic execution, is an efficient way to automatically and systematically generate test inputs for programs.
openaire   +1 more source

COMPI: Concolic Testing for MPI Applications

2018 IEEE International Parallel and Distributed Processing Symposium (IPDPS), 2018
MPI is widely used as the bedrock of HPC applications, but there are no effective systematic software testing techniques for MPI programs. In this paper we develop COMPI, the first practical concolic testing tool for MPI applications. COMPI tackles two major challenges.
Hongbo Li, Sihuan Li, Zachary Benavides, Zizhong Chen, Rajiv Gupta   +4 more
openaire   +1 more source

In-Situ Concolic Testing of JavaScript

2023 IEEE International Conference on Software Analysis, Evolution and Reengineering (SANER), 2023
JavaScript (JS) has evolved into a versatile and popular programming language for not only the web, but also a wide range of server-side and client-side applications. Effective, efficient, and easy-to-use testing techniques for JS scripts are in great demand.
Li, Zhe, Xie, Fei
openaire   +2 more sources

Evaluating Initial Inputs for Concolic Testing

2015 International Symposium on Theoretical Aspects of Software Engineering, 2015
Concolic testing is a powerful technique for vulnerability detection. Current concolic testing tools usually randomly select one well-formed concrete input to start their workflow, then employ different path selection methods to explore the execution space.
Weiguang Wang, Qingkai Zeng
openaire   +1 more source

Challenges and opportunities with concolic testing

2015 National Aerospace and Electronics Conference (NAECON), 2015
Although concolic testing is increasingly being explored as a viable software verification technique, its adoption in mainstream software development and testing in the industry is not yet extensive. In this paper, we discuss challenges to widespread adoption of concolic testing in an industrial setting and highlight further opportunities where ...
Raghudeep Kannavara, Christopher J Havlicek, Bo Chen, Mark R Tuttle, Kai Cong, Sandip Ray, Fei Xie   +6 more
openaire   +1 more source

Concolic Testing Framework for Industrial Embedded Software

2014 21st Asia-Pacific Software Engineering Conference, 2014
Recently, concolic testing has drawn a lot of attention from the research community as a practical solution of overcoming limitations of manual test case generation. CONBOL, a concolic testing framework for large-scale embedded industrial software, has shown effectiveness of discovering real defects even for commercial quality software.
Taeksu Kim, Jonghyun Park, Igor Kulida, Yoonkyu Jang   +3 more
openaire   +1 more source

MAGIC: Path-Guided Concolic Testing

2011
Concolic testing has been proposed as an effective tech- nique to automatically test software. The goal of concolic testing is to generate test inputs to find faults by executing as many paths of a program as possible. However, due to the large state space, it is unrealistic to consider all of the program paths for test input generation. Rather than ex-
openaire   +1 more source

Template-guided concolic testing via online learning

Proceedings of the 33rd ACM/IEEE International Conference on Automated Software Engineering, 2018
We present template-guided concolic testing, a new technique for effectively reducing the search space in concolic testing. Addressing the path-explosion problem has been a significant challenge in concolic testing. Diverse search heuristics have been proposed to mitigate this problem but using search heuristics alone is not sufficient to substantially
Sooyoung Cha, Seonho Lee, Hakjoo Oh
openaire   +1 more source

Concolic Testing and Constraint Satisfaction

2011
Software testing is the most common technique used in industry to improve reliability and quality of software. Unfortunately, testing is mostly a manual process that reportedly accounts for over half of the typical cost of software development and maintenance.
openaire   +1 more source

Concolic testing: a decade later (keynote)

Proceedings of the 13th International Workshop on Dynamic Analysis, 2015
Symbolic execution for software testing has witnessed renewed interest in the recent years due to its ability to generate high-coverage test suites and find deep errors in software systems. In this talk, I will give an overview of a modern symbolic execution technique, called concolic testing, discuss its key challenges in terms of path exploration ...
openaire   +1 more source