Concolic testing

Known as: Concolic, Concolic execution

Concolic testing (a portmanteau of concrete and symbolic) is a hybrid software verification technique that performs symbolic execution, a classical…

Papers overview

Semantic Scholar uses AI to extract papers important to this topic.

2017

This paper presents a modular dynamic symbolic execution (DSE) framework Anxiety developed at Ivannikov Institute for System…

2015

Concolic testing is a powerful technique for vulnerability detection. Current concolic testing tools usually randomly select one…

2015

We develop code analysis tools in order to evaluate source or low-level code. We aim two types of diagnostic: robustness or…

2013

Test generation plays an important role in software testing. Concolic testing runs concrete executions on programs simultaneously…

2013

In this paper, we present a tool, called Lego, which recovers object-oriented software architecture from stripped binaries. Lego…

2012

Concolic (Concrete+symbolic) testing is an automated test case generation technique that works on target source code. This paper…

2011

다양하고 많은 소프트웨어가 개발되고 있는 현 시장에서 소프트웨어의 질을 향상시키기 위해 적은 비용으로 효과적으로 신뢰성을 검증할 수 있는 다양한 테스팅 기법이 활발히 연구되고 있다. Concolic (Concrete+symbolic…

2011

Concolic testing is an automatic testing technique which combines concrete execution and symbolic execution together.Concolic…

2011

In today’s information society, flash memory has become a virtually indispensable component, particularly for mobile devices. In…

2010

Fault injection, modifying the behavior of a program to facilitate the reproduction of hidden or rare problems, is an effective…